Sciweavers

332 search results - page 43 / 67
» Enhancing Object-Oriented Modeling with Concepts to
Sort
View
ASIAN
2005
Springer
102views Algorithms» more  ASIAN 2005»
13 years 9 months ago
General Consistency Management Within the Development of Ontology-Driven Web Information System
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...
Baojun Qiu, Hongyan Li, Zijing Hu, Dongqing Yang, ...
JSS
2010
120views more  JSS 2010»
13 years 2 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
GI
2005
Springer
14 years 26 days ago
Distributed User Modeling for Situated Interaction
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
Dominik Heckmann
VSTTE
2005
Springer
14 years 24 days ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller
TEC
2002
120views more  TEC 2002»
13 years 7 months ago
Optimization based on bacterial chemotaxis
We present an optimization algorithm based on a model of bacterial chemotaxis. The original biological model is used to formulate a simple optimization algorithm, which is evaluate...
Sibylle D. Müller, Jarno Marchetto, Stefano A...