Sciweavers

4761 search results - page 619 / 953
» Components, Frameworks, Patterns
Sort
View
SAFECOMP
1999
Springer
15 years 11 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
GI
1998
Springer
15 years 11 months ago
Business Object Facilities - A Comparative Analysis
Rapidlychanging business processes require quick adaption of supportinginformationsystems. Component technologies in general and business objects, in particular seem a promising a...
Wolfgang Emmerich, Ernst Ellmer, Birgit Osterholt,...
PRICAI
1998
Springer
15 years 11 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
TABLEAUX
1998
Springer
15 years 11 months ago
Fibring Semantic Tableaux
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
Bernhard Beckert, Dov M. Gabbay
CHI
1997
ACM
15 years 11 months ago
Developing Collaborative Applications Using the World Wide Web "Shell"
The components of the World Wide Web, which we call the World Wide Web Shell, provide a framework for collaborative application development in much the same way as an expert syste...
Alison Lee, Andreas Girgensohn