1147 search results - page 178 / 230 » Termination in language-based systems |
USENIX
1994
13 years 11 months ago
1994
A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support in...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
Cell phones are increasingly becoming attractive targets of various worms, which cause the leakage of user privacy, extra service charges and depletion of battery power. In this w...
MOBIHOC
2009
ACM
14 years 10 months ago
2009
ACM
Sectorized antennas provide an attractive solution to increase wireless network capacity through higher spatial reuse. Despite their increasing popularity, the real-world performa...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
The collapse of buildings, such as terminal 2E at Paris' Charles de Gaule Airport, and of fires, such as the Rhode Island, Station Night Club tragedy, has focused public atte...