Sciweavers

11200 search results - page 99 / 2240
» An Object-oriented Optimization System
Sort
View
ECSCW
1993
13 years 10 months ago
A Spatial Model of Interaction in Large Virtual Environments
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...
Steve Benford, Lennart E. Fahlén
UAI
1996
13 years 10 months ago
Network Engineering for Complex Belief Networks
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...
Suzanne M. Mahoney, Kathryn B. Laskey
JUCS
2002
146views more  JUCS 2002»
13 years 8 months ago
A Framework for Semantics of UML Sequence Diagrams in PVS
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
Demissie B. Aredo
ISOLA
2010
Springer
13 years 7 months ago
Worst-Case Analysis of Heap Allocations
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
Wolfgang Puffitsch, Benedikt Huber, Martin Schoebe...
EDBT
2002
ACM
138views Database» more  EDBT 2002»
14 years 9 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks