4035 search results - page 369 / 807 » Useless Actions Are Useful |
207
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
161
click to vote
GROUP
2003
ACM
16 years 1 days ago
2003
ACM
In order to support co-located collaboration, many researchers are now investigating how to effectively augment tabletops with electronic displays. As far back as 1988, orientatio...
178
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In this paper we consider several problems involving control with limited actuation and sampling rates. Event-based control has emerged as an attractive approach for ad...
183
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
210
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...