597 search results - page 26 / 120 » E-Process Design and Assurance Using Model Checking |
142
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
130
click to vote
ROOM
2000
15 years 3 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
CONCUR
1989
Springer
15 years 6 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
118
click to vote
JSAC
2011
14 years 9 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
141
Voted
SMI
2010
IEEE
15 years 9 days ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...