4693 search results - page 704 / 939 » Verifying Hybrid Systems |
163
Voted
MOBISYS
2006
ACM
16 years 5 months ago
2006
ACM
We introduce a novel infrastructure supporting automatic updates for dynamic content browsing on resource constrained mobile devices. Currently, the client is forced to continuous...
164
click to vote
DNA
2009
Springer
16 years 19 days ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
158
click to vote
CIKM
2007
Springer
16 years 7 days ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
144
click to vote
IPPS
2006
IEEE
16 years 3 days ago
2006
IEEE
By violating MAC-layer protocols, the jamming attack aims at blocking successful communication among wireless nodes. Wireless sensor networks (WSNs) are highly vulnerable to jammi...
178
Voted
EUROPAR
2008
Springer
15 years 7 months ago
2008
Springer
Over the last decade, Message Passing Interface (MPI) has become a very successful parallel programming environment for distributed memory architectures such as clusters. However, ...