36 search results - page 7 / 8 » A Petri Net Based Software Architecture for UAV Simulation |
DAC
1996
ACM
13 years 10 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
RTSS
2005
IEEE
14 years 11 hour ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
ICECCS
2009
IEEE
14 years 1 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
HCI
2009
13 years 4 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
IPPS
2006
IEEE
14 years 14 days ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...