3765 search results - page 644 / 753 » Formal Methods for Systems Engineering Behavior Models |
114
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
104
Voted
ADC
2009
Springer
15 years 9 months ago
2009
Springer
Location-based context-aware services for mobile users need to collaborate in disparate networks. Services come and go as the user moves and no central repository is available. Th...
124
Voted
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
98
Voted
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
107
click to vote
GI
2001
Springer
15 years 7 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...