752 search results - page 115 / 151 » The standard parts problem and the complexity of control com... |
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper proposes a decentralized adaptive soft frequency reuse scheme for the uplink of a 4G long-term evolution (LTE) system. While universal frequencies reuse (UFR) is being ...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
PDPTA
2004
13 years 9 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle users’ conď¬...