1200 search results - page 9 / 240 » Conformance Testing of Objects in Distributed Processing Sys... |
ISPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
GI
2009
Springer
14 years 3 days ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
FORTE
1996
13 years 8 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
ICIAP
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we present a new approach to object tracking based on batteries of particle filter working in multicamera systems with non overlapped fields of view. In each view th...
FM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...