31387 search results - page 412 / 6278 » Abstracts |
175
click to vote
SRDS
2003
IEEE
16 years 25 days ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...
175
click to vote
ASP
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
217
click to vote
HYBRID
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
140
click to vote
ICDT
2003
ACM
16 years 23 days ago
2003
ACM
tended abstract to appear ICDT 2003 (Jan 2003, Siena)
139
click to vote
RIDE
2002
IEEE
16 years 14 days ago
2002
IEEE
d Abstract) F.Arcieri1 G.Melideo2 E.Nardelli2 M.Talamo1