746 search results - page 97 / 150 » Formal Analysis of UML-Based Designs |
FM
2009
Springer
15 years 8 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,...
159
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
134
click to vote
ESORICS
2010
Springer
15 years 3 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...
119
Voted
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
119
click to vote
FORTE
2010
15 years 3 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...