2128 search results - page 34 / 426 » A general characterization of indulgence |
PODC
2003
ACM
14 years 4 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
CASES
2003
ACM
14 years 4 months ago
2003
ACM
A significant fraction of the software and resource usage of a modern handheld computer is devoted to its graphical user interface (GUI). Moreover, GUIs are direct users of the d...
ACL
1998
14 years 9 days ago
1998
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
CIE
2007
Springer
14 years 5 months ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
ICC
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—A characterization of the dynamic narrowband onbody to off-body area channel is presented based on realtime measurements of the time domain channel response at carrier f...