Sciweavers

10038 search results - page 394 / 2008
» Model Checking for Managers
Sort
View
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
16 years 3 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
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 ...
Josep Carmona, Jordi Cortadella
IM
1997
15 years 8 months ago
Active Objects in TMN
Telecommunications Management Network (TMN) systems use the object-oriented information modelling techniques and communication facilities provided by OSI Systems Management (SM). ...
Anastasia Vassila, George Pavlou, Graham Knight
IADIS
2004
15 years 8 months ago
Cost-effective management of internet services
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...
Francesco Gennai, Marina Buzzi
MSWIM
2004
ACM
16 years 7 days ago
Fault management in event-driven wireless sensor networks
Linnyer Beatrys Ruiz, Isabela G. Siqueira, Leonard...
BIS
2007
183views Business» more  BIS 2007»
15 years 8 months ago
A Conceptual Framework for Composition in Business Process Management
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-...
Ingo Weber, Ivan Markovic, Christian Drumm