3729 search results - page 650 / 746 » On Formal Modeling of Agent Computations |
140
click to vote
SAC
2006
ACM
16 years 9 days ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
162
click to vote
AIIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
163
click to vote
MOBILITY
2009
ACM
15 years 11 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
255
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
172
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
The pressing need for efficient compression schemes for XML documents has recently been focused on stack computation [6, 9], and in particular calls for a formulation of informati...