Sciweavers

1817 search results - page 66 / 364
» Extensive Games as Process Models
Sort
View
ENTCS
2007
96views more  ENTCS 2007»
15 years 19 days ago
Cryptographic Pattern Matching
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...
Christoffer Rosenkilde Nielsen, Flemming Nielson, ...
176
Voted
CLIMA
2011
14 years 15 days ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
110
Voted
DAWAK
2007
Springer
15 years 6 months ago
OLAP Technology for Business Process Intelligence: Challenges and Solutions
The emerging area of business process intelligence aims at enhancing the analysis power of business process management systems by employing data warehousing and mining technologies...
Svetlana Mansmann, Thomas Neumuth, Marc H. Scholl
VLDB
2007
ACM
104views Database» more  VLDB 2007»
16 years 27 days ago
Extending XQuery with Window Functions
This paper presents two extensions for XQuery. The first extension allows the definition and processing of different kinds of windows over an input sequence; i.e., tumbling, slidi...
Irina Botan, Peter M. Fischer, Daniela Florescu, D...
39
Voted
SEMWEB
2007
Springer
15 years 6 months ago
Uncertainty Issues in Automating Process Connecting Web and User
We are interested in replacing human processing of web resources by automated processing. Based on an experimental system we identify uncertainty issues which make this process dif...
Alan Eckhardt, Tomás Horváth, Dusan ...