1525 search results - page 212 / 305 » Formal Models for Communication-Based Design |
89
Voted
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
121
Voted
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
106
click to vote
COSIT
1997
Springer
15 years 4 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
122
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
120
click to vote
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...