1681 search results - page 122 / 337 » Formal Design of Distributed Control Systems with Lustre |
138
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
138
Voted
DEON
2010
Springer
15 years 8 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
155
Voted
OWLED
2008
15 years 4 months ago
2008
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
114
click to vote
EOR
2006
15 years 3 months ago
2006
In this paper we develop an open queueing network for optimal design of multi-stage assemblies, in which each service station represents a manufacturing or assembly operation. The...
147
Voted
APN
2010
Springer
15 years 8 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...