4047 search results - page 76 / 810 » Algebraic Model Checking |
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
We introduce a new abstract model of database query processing, finite cursor machines, that incorporates certain data streaming aspects. The model describes quite faithfully what...
89
Voted
CORR
2010
Springer
15 years 24 days ago
2010
Springer
The deterministic wireless relay network model, introduced by Avestimehr et al., has been proposed for approximating Gaussian relay networks. This model, known as the ADT network m...
112
Voted
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
91
Voted
AUSAI
2005
Springer
15 years 6 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
134
Voted
APN
2010
Springer
15 years 5 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...