1153 search results - page 11 / 231 » Compositional Specification Calculus for Information Systems... |
176
Voted
GRID
2008
Springer
15 years 3 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
155
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
142
Voted
ENTCS
2008
15 years 3 months ago
2008
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
133
Voted
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
142
Voted
IGPL
2010
15 years 27 days ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...