Sciweavers

1661 search results - page 41 / 333
» Real-time specification patterns
Sort
View
CGI
2001
IEEE
15 years 1 months ago
Towards Real Time Virtual Human Life Simulations
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal ...
Etienne de Sevin, Marcelo Kallmann, Daniel Thalman...
86
Voted
ISORC
2000
IEEE
15 years 1 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
CBSE
2008
Springer
14 years 12 months ago
Ada-CCM: Component-Based Technology for Distributed Real-Time Systems
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...
Patricia López Martínez, José...
CORR
2010
Springer
106views Education» more  CORR 2010»
14 years 10 months ago
Real Time and Energy Efficient Transport Protocol for Wireless Sensor Networks
---------------------------------------------------ABSTRACT-----------------------------------------------Reliable transport protocols such as TCP are tuned to perform well in trad...
S. Ganesh, R. Amutha
ENTCS
2006
231views more  ENTCS 2006»
14 years 10 months ago
SaveCCM: An Analysable Component Model for Real-Time Systems
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Jan Carlson, John Håkansson, Paul Pettersson