554 search results - page 92 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
MICRO
2007
IEEE
14 years 9 months ago
2007
IEEE
y abstract, it is grounded in the experience of many markets. As I will illustrate, it explains much strategic behavior. Information spreads With a bit of effort, any technically s...
ITNG
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...
100
click to vote
EWSPT
2001
Springer
15 years 2 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
JCS
1998
14 years 9 months ago
1998
Multilevel transactions have been proposed for multilevel secure databases; in contrast to most proposals, such transactions allow users to read and write across multiple security...
CSL
2010
Springer
14 years 10 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...