462 search results - page 27 / 93 » Applying UML and MDA to Real Systems Design |
ECBS
2007
IEEE
15 years 6 months ago
2007
IEEE
Design patterns document expert design experience in software system development. They have been applied in many existing software systems. However, pattern information is general...
102
Voted
FATES
2004
Springer
15 years 5 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
202
Voted
ICDCS
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—In this paper we have proposed and designed FindingHuMo (Finding Human Motion), a real-time user tracking system for Smart Environments. FindingHuMo can perform device-f...
110
Voted
RTSS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
120
Voted
EUC
2007
Springer
15 years 6 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...