5084 search results - page 929 / 1017 » Proving Possibility Properties |
128
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
154
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
148
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
168
click to vote
ADBIS
2000
Springer
15 years 8 months ago
2000
Springer
Queries involving aggregation are typical in a number of database research areas, such as data warehousing, global information systems and mobile computing. One of the main ideas ...
139
click to vote
ICIP
1999
IEEE
15 years 8 months ago
1999
IEEE
Segmentation of motion in an image sequence is one of the most challenging problems in image processing, while at the same time one that finds numerous applications. To date, a wea...