882 search results - page 24 / 177 » Allowing State Changes in Specifications |
154
click to vote
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
158
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...
186
click to vote
IJCSA
2006
15 years 6 months ago
2006
The explosion of the number of web-based information sources has drastically increased the need for intelligent mediation tools to be implemented between the users and these infor...
AUTOMATICA
1999
15 years 5 months ago
1999
The square-root information filter and smoother algorithms have been generalized to handle singular state transition matrices and perfect measurements. This has been done to allow...
224
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...