10038 search results - page 394 / 2008 » Model Checking for Managers |
170
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
164
click to vote
IM
1997
15 years 8 months ago
1997
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...
161
click to vote
IADIS
2004
15 years 8 months ago
2004
The management of network services is a time- and resource- consuming activity. In this paper we discuss an organizational model that reduces the cost of managing Internet Service...
212
click to vote
BIS
2007
15 years 8 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...