21430 search results - page 3834 / 4286 » Abstract Effective Models |
146
Voted
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
208
click to vote
COORDINATION
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
173
click to vote
CTRSA
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
226
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
189
click to vote
DAWAK
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...