10038 search results - page 226 / 2008 » Model Checking for Managers |
150
Voted
RTCSA
1999
IEEE
15 years 9 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
168
Voted
PRDC
1999
IEEE
15 years 9 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...
176
Voted
IANDC
2011
15 years 9 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
163
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we build on the concept of embedded management application, proposed by Wellens and Auerbach, and present two models of network management application designs that ...
125
click to vote
CSFW
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...