440 search results - page 38 / 88 » A challenge for atomicity verification |
SPATIALCOGNITION
2010
Springer
14 years 10 months ago
2010
Springer
How are space and time represented in the human mind? Here we evaluate two theoretical proposals, one suggesting a symmetric relationship between space and time (ATOM theory) and t...
108
click to vote
TIP
2011
14 years 6 months ago
2011
—One of the major challenges in multi-view imaging is the definition of a representation that reveals the intrinsic geometry of the visual information. Sparse image representati...
122
click to vote
CADE
2009
Springer
16 years 12 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
146
click to vote
COMPSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...