577 search results - page 28 / 116 » Model Checking Based on Simultaneous Reachability Analysis |
CSAC
2006
13 years 9 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
TCS
2002
13 years 7 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Wireless transmission based on cooperation promises to bring performance improvements in multi–node networks. Several cooperative schemes have appeared in the literature, and...
UML
2004
Springer
14 years 1 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
WSC
2000
13 years 9 months ago
2000
Simulation models are often not used to their full potential in the decision-making process. The default simulation strategy of simple serial replication of fixed length runs mean...