252 search results - page 30 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
IJCSA
2006
13 years 8 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
APSEC
2007
IEEE
14 years 3 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
IPSN
2004
Springer
14 years 2 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
BPM
2009
Springer
14 years 19 days ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
IV
2005
IEEE
14 years 2 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...