3256 search results - page 447 / 652 » Applications of Formal Methods to System Design and Verifica... |
138
click to vote
FM
2009
Springer
16 years 21 hour 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,...
160
click to vote
SOUPS
2006
ACM
15 years 11 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
147
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Any system that has the capability to diagnose and recover from faults is considered to be a fault-tolerant system. Additionally, the quality of the incorporated fault-toleranc...
172
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
161
click to vote
IFL
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...