5200 search results - page 155 / 1040 » Symbolic models for control systems |
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
JIIS
2002
13 years 8 months ago
2002
: Workflow Management Systems (WfMSs) are used to support the modeling and coordinated execution of business processes within an organization or across organizational boundaries. A...
FDL
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
APWEB
2005
Springer
14 years 2 months ago
2005
Springer
Flood control for reservoirs require operations in a dynamic and cooperative manner in order to respond to the changing flood control conditions. There is an increasing emphasis on...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper shows how role-based access control (RBAC) models can be implemented in distributed object-based systems that follow OMG/CORBA standards. We introduce a novel approach ...