5904 search results - page 800 / 1181 » Requirements for a Composition Language |
179
Voted
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
241
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
199
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
221
click to vote
EDOC
2009
IEEE
15 years 10 months ago
2009
IEEE
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
188
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...