827 search results - page 21 / 166 » Patterns for Timed Property Specifications |
128
Voted
RTS
2006
15 years 1 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
101
click to vote
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
114
click to vote
MABS
2004
Springer
15 years 7 months ago
2004
Springer
Some types of animals exploit patterns created in the environment as external mental states, thus obtaining an extension of their mind. In the case of social animals the creation a...
104
click to vote
RULES
1993
Springer
15 years 6 months ago
1993
Springer
There have been many recent research efforts on temporal databases for managing current and historical data and on active databases for monitoring real-world events as well as dat...
139
click to vote
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
We propose a software development method for enterprise applications that combines the use of the structural concepts provided by problem frames, and the use of the UML notation. ...