Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Software and Informatics, Volume 3
Volume 3, Number 1, 2009
- Tu Bao Ho, Zhi-Hua Zhou, Hiroshi Motoda:
Preface. 1-2 - Richard B. Scherl, Tran Cao Son, Chitta Baral:
State-Based Regression with Sensing and Knowledge. 3-30 - Paul R. Cohen, Carole R. Beal:
Temporal Data Mining for Educational Applications. 31-46 - Konstantine Arkoudas, Selmer Bringsjord:
Propositional Attitudes and Causation. 47-65
- Chunxiao Lin, Yiyun Chen, Bei Hua:
Verification of an Incremental Garbage Collector in Hoare-Style Logic. 67-88 - Lin Liu, Eric S. K. Yu, John Mylopoulos:
Secure-I*: Engineering Secure Software Systems through Social Analysis. 89-120
Volume 3, Number 2-3, 2009
- Dines Bjørner:
Editorial. 121-127 - Eunsuk Kang, Daniel Jackson:
Designing and Analyzing a Flash File System with Alloy. 129-148 - Margus Veanes, Nikolaj S. Bjørner, Yuri Gurevich, Wolfram Schulte:
Symbolic Bounded Model Checking of Abstract State Machines. 149-170 - Martin Fränzle, Michael R. Hansen:
Efficient Model Checking for Duration Calculus? 171-196 - Dominique Méry:
Refinement-Based Guidelines for Algorithmic Systems. 197-239 - Anne E. Haxthausen:
Developing a Domain Model for Relay Circuits. 241-272 - Bernadette Charron-Bost, Stephan Merz:
Formal Verification of a Consensus Algorithm in the Heard-Of Model. 273-303 - Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff:
Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. 305-341 - Taro Kurita, Yasumasa Nakatsugawa:
The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip. 343-355 - Leo Freitas, Jim Woodcock:
A Chain Datatype in Z. 357-374 - Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
Fault-Based Conformance Testing in Practice. 375-411
Volume 3, Number 4, 2009
- Hong Mei, Jian Lü:
Preface. 413-414 - Wei-Tek Tsai, Zhi Jin, Xiaoying Bai:
Internetware Computing: Issues and Perspective. 415-438 - Gang Huang, Hui Song, Hong Mei:
SM@RT: Applying Architecture-Based Runtime Management into Internetware Systems. 439-464 - Kun You, Zhuzhong Qian, Bin Tang, Sanglu Lu, Daoxu Chen:
QoS-Aware Replication in Service Composition. 465-482 - Stephen S. Yau, Ho G. An:
Adaptive Resource Allocation for Service-Based Systems. 483-499
- Wenyu Chen, Gang Xu, Guozhao Wang:
Construct Control Meshes of Helicoids over Trapezium Domain. 501-511
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 17:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
