102
click to vote
LATIN
15 years 2 months ago
2004 Springer 
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
LATIN
15 years 2 months ago
2004 Springer 
We address the problem of searching for a two-dimensional pattern in a two-dimensional text (or image), such that the pattern can be found even if it appears rotated and it is bri...
LATIN
15 years 2 months ago
2004 Springer 
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
LATIN
15 years 2 months ago
2004 Springer 
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...
LATIN
15 years 2 months ago
2004 Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
|
Information Technology