505 search results - page 47 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
102
click to vote
TCAD
2008
14 years 11 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
121
click to vote
IJBIS
2010
14 years 9 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
130
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Since about two decades, many works have been made in order to provide solutions to the vehicle platoon problem. The main issue related to platoon systems consists in controling t...
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Strategic flexibility is a critical organizational competency in today’s dynamic global environment. This paper explores the impact of enterprise information systems on an organ...