Sciweavers

1796 search results - page 139 / 360
» An Approach to Compositional Model Checking
Sort
View
ICWE
2010
Springer
13 years 9 months ago
Rapid Development of Composite Applications Using Annotated Web Services
Abstract. Developing service-based interactive applications is time consuming and nontrivial. Annotating web services with additional information about the user interface and behav...
Lars Dannecker, Marius Feldmann, Tobias Nestler, G...
GECCO
1999
Springer
14 years 3 months ago
An Immunogenetic Approach to Spectra Recognition
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...
Dipankar Dasgupta, Yuehua Cao, Congjun Yang
TACAS
2004
Springer
139views Algorithms» more  TACAS 2004»
14 years 4 months ago
Error Explanation with Distance Metrics
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 ...
Alex Groce
ISI
2004
Springer
14 years 4 months ago
Composite Role-Based Monitoring (CRBM) for Countering Insider Threats
Through their misuse of authorized privileges, insiders have caused great damage and loss to corporate internal information assets, especially within the Intelligence Community (IC...
Joon S. Park, Shuyuan Mary Ho
JSW
2007
134views more  JSW 2007»
13 years 10 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— 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...
Hervé Chang, Philippe Collet