1796 search results - page 126 / 360 » An Approach to Compositional Model Checking |
IIWAS
2008
13 years 12 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...
MASCOTS
2003
13 years 11 months ago
2003
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
OWLED
2007
13 years 12 months ago
2007
Stream Processing Applications analyze large volumes of streaming data in real-time. These applications, consist of data sources, which produce raw streams, and processing elements...
UML
2001
Springer
14 years 2 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...