10159 search results - page 204 / 2032 » System Design Validation Using Formal Models |
136
click to vote
FORTE
2007
15 years 7 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
147
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
189
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
183
Voted
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
156
click to vote
ICHIT
2009
Springer
16 years 21 days ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...