734 search results - page 43 / 147 » Design and control of recycle systems by non-linear analysis |
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
HICSS
2002
IEEE
14 years 17 days ago
2002
IEEE
Virtual Corporations as well as traditional companies need a planning and control system in order to guarantee the organization’s competitiveness in markets. This paper outlines...
RSP
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
APN
2005
Springer
14 years 1 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...