611 search results - page 40 / 123 » Relative simulation and model checking of real-time processe... |
ILP
2007
Springer
14 years 3 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
KBS
2002
13 years 8 months ago
2002
In this paper we present an overview of SHAMASH, a process modelling tool for business process reengineering. The main features that differentiate it from most current related too...
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
DATE
2004
IEEE
14 years 19 days ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
RTCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...