1536 search results - page 224 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
IS
2008
13 years 7 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
In size preserving video tracking, the camera's focal length (zoom) is adjusted automatically to compensate for the changes in the target's image size caused by the rela...
CN
2006
13 years 7 months ago
2006
In this paper, we perform a stochastic analysis of the packet-pair technique, which is a widely used method for estimating the network bandwidth in an end-to-end manner. There has...
IAJIT
2010
13 years 6 months ago
2010
: A broad variety of data is available in distinct heterogeneous sources, stored under different formats: database formats (in relational and object-oriented models), document form...
EUROPAR
2004
Springer
14 years 1 months ago
2004
Springer
High scalability in Peer-to-Peer (P2P) systems has been achieved with the emergence of the networks based on Distributed Hash Table (DHT). Most of the DHTs can be regarded as expon...