2632 search results - page 361 / 527 » Alternating Timed Automata |
120
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
We present a computational framework to automatically discover high-order temporal social patterns from very noisy and sparse location data. We introduce the concept of social foo...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
128
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
RSA is the most popular public-key cryptosystem on the Web today but long-term trends such as the proliferation of smaller, simpler devices and increasing security needs will make...
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...