2858 search results - page 266 / 572 » Logics with Aggregate Operators |
171
click to vote
RR
2007
Springer
16 years 21 days ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
176
click to vote
ACMICEC
2006
ACM
16 years 17 days ago
2006
ACM
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
171
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
155
click to vote
HOTOS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract—A Federated Array of Bricks (FAB) is a logical disk system that provides the reliability and performance of enterprise-class disk arrays, at a fraction of the cost and w...
180
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
In a scan-based system with a large number of flip-flops, a major component of power is consumed during scanshift and clocking operation in test mode. In this paper, a novel scan-...