1796 search results - page 139 / 360 » An Approach to Compositional Model Checking |
ICWE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
GECCO
1999
Springer
14 years 3 months ago
1999
Springer
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...
TACAS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
ISI
2004
Springer
14 years 4 months ago
2004
Springer
Through their misuse of authorized privileges, insiders have caused great damage and loss to corporate internal information assets, especially within the Intelligence Community (IC...
JSW
2007
13 years 10 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...