505 search results - page 29 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
DAGSTUHL
2006
15 years 1 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
111
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
107
click to vote
SBMF
2009
Springer
15 years 6 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
114
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
ISMAR
2007
IEEE
15 years 6 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...