1426 search results - page 139 / 286 » Specification of nonmonotonic reasoning |
156
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
150
click to vote
AVSS
2005
IEEE
16 years 17 days ago
2005
IEEE
In video surveillance projects, automatic and realtime event detection solutions are required to guarantee an efficient and cost-effective use of the infrastructure. Many solution...
155
click to vote
WOSP
2004
ACM
16 years 11 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
192
click to vote
KBSE
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
180
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...