1368 search results - page 243 / 274 » Avoiding Simplicity Is Complex |
100
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
133
Voted
BROADNETS
2006
IEEE
15 years 8 months ago
2006
IEEE
— As the popularity of resource-constrained devices such as hand-held computers increases, a new network service offloading complex processing tasks towards computational resour...
DASFAA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. As networks continue to grow in size and complexity, distributed network monitoring and resource querying are becoming increasingly difficult. Our aim is to design, build...
102
Voted
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Modern mobile devices are multi-homed with WLAN and WWAN communication interfaces. In a community of nodes with such multihomed devices — locally inter-connected via high-speed ...
127
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...