1548 search results - page 210 / 310 » Semantics and Extensions of WS-Agreement |
132
Voted
WSC
2008
15 years 8 months ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
184
click to vote
DALT
2007
Springer
15 years 7 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
160
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
154
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
116
click to vote
ACL
2007
15 years 7 months ago
2007
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...