Sciweavers

2404 search results - page 121 / 481
» Postmodernism and Control Engineering
Sort
View
IEEEARES
2006
IEEE
16 years 11 days ago
A Declarative Control Language for Dependable XML Message Queues
We present a novel approach for the implementation of efficient and dependable web service engines (WSEs). A WSE instance represents a single node in a distributed network of par...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
FDL
2005
IEEE
15 years 12 months ago
Synthesis for Unified Control- and Data-Oriented Models
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
Oana Florescu, Jeroen Voeten, Henk Corporaal
CAISE
2004
Springer
15 years 11 months ago
A Step Towards Context Insensitive Quality Control for Ontology Building Methodologies
A methodology provides description of process and guidance for producing ontology that facilitates management of the enterprise engineering products. Method support in terms of det...
Sari Hakkarainen, Raimundas Matulevicius, Darijus ...
KR
2004
Springer
15 years 11 months ago
Inferential Complexity Control for Model-Based Abduction
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
Gregory M. Provan
LCTRTS
2010
Springer
16 years 1 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...