554 search results - page 47 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
116
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a statistical learning approach to predicting people's bidding behavior in negotiation. Our study consists of multiple 2-player negotiation scenarios wher...
214
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
127
click to vote
ECBS
2008
IEEE
15 years 3 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
151
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
108
click to vote
IUI
2006
ACM
15 years 8 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...