2836 search results - page 76 / 568 » Model Checking for Software Architectures |
141
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
134
Voted
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
125
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
120
Voted
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
114
Voted
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...