1615 search results - page 267 / 323 » Distributed Forward Checking |
103
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
123
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
ICEIS
2008
IEEE
15 years 8 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
113
click to vote
SEFM
2008
IEEE
15 years 8 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
124
click to vote
3DIM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present a new algorithm to reconstruct 3D surfaces from an unorganized point cloud based on generalizing the MPU implicit algorithm through introducing a powerfu...