1398 search results - page 43 / 280 » Ensuring Properties of Interaction Systems |
102
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...
103
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
120
click to vote
VL
2006
IEEE
15 years 8 months ago
2006
IEEE
As software systems grow in size and use more third-party libraries and frameworks, the need for developers to understand unfamiliar large codebases is rapidly increasing. In this...
138
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
101
click to vote
CCS
2010
ACM
15 years 8 months ago
2010
ACM
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...