Sciweavers

4099 search results - page 209 / 820
» A Framework for Interactive Proof
Sort
View
ARCS
2004
Springer
15 years 11 months ago
A Framework for Dependability Evaluation of Mechatronic Units
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
Hans-Dieter Kochs, Jörg Petersen
EDOC
2003
IEEE
15 years 11 months ago
An Extensible Binding Framework for Component-Based Middleware
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
Nikos Parlavantzas, Geoff Coulson, Gordon S. Blair
HAIS
2010
Springer
15 years 10 months ago
Graph-Based Model-Selection Framework for Large Ensembles
The intuition behind ensembles is that different prediciton models compensate each other’s errors if one combines them in an appropriate way. In case of large ensembles a lot of...
Krisztian Buza, Alexandros Nanopoulos, Lars Schmid...
EPIA
2001
Springer
15 years 10 months ago
Modelling Agent Societies: Co-ordination Frameworks and Institutions
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
Virginia Dignum, Frank Dignum
CSCW
1998
ACM
15 years 9 months ago
Artefact: A Framework for Low-Overhead Web-Based Collaborative Systems
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
Jeff Brandenburg, Boyce Byerly, Tom Dobridge, Jink...