1511 search results - page 100 / 303 » An approach to control collaborative processes in PLM system... |
HAIS
2010
Springer
15 years 9 hour ago
2010
Springer
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
ESORICS
2008
Springer
14 years 11 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
APSEC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
Software development can be thought of as the evolution act requirements into a concrete software system. The evolution, achieved through a successive series of elaborations and r...
DEDS
2010
14 years 7 months ago
2010
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...