2148 search results - page 54 / 430 » Responsiveness in Process Calculi |
137
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
145
click to vote
ENTCS
2008
15 years 3 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
123
click to vote
PREMI
2007
Springer
15 years 10 months ago
2007
Springer
Humans effortlessly classify and recognize complex patterns even if their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual ...
256
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Current approaches to K Nearest Neighbor (KNN) search in mobile sensor networks require certain kind of indexing support. This index could be either a centralized spatial index or...
132
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...