10159 search results - page 204 / 2032 » System Design Validation Using Formal Models |
106
Voted
FORTE
2007
15 years 4 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...
112
Voted
LATA
2010
Springer
16 years 4 days 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 ...
140
click to vote
CCS
2005
ACM
15 years 8 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...
141
Voted
DEBS
2009
ACM
15 years 6 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....
119
Voted
ICHIT
2009
Springer
15 years 9 months 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...