282 search results - page 47 / 57 » An Algebraic Method for Analyzing Open-Loop Dynamic Systems |
ICSE
1997
IEEE-ACM
15 years 2 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
MOBISYS
2004
ACM
15 years 9 months ago
2004
ACM
Computation off-loading, i.e., remote execution, has been shown to be effective for extending the computational power and battery life of resource-restricted devices, e.g., hand-h...
117
Voted
ICDE
2012
IEEE
13 years 17 days ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
ENTCS
2007
14 years 10 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...