1884 search results - page 199 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
122
click to vote
E4MAS
2004
Springer
15 years 6 months ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
101
click to vote
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
106
click to vote
MOBIDE
1999
ACM
15 years 5 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...
111
click to vote
VISUALIZATION
1999
IEEE
15 years 5 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
131
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...