Sciweavers

1948 search results - page 134 / 390
» Formalizing Mirror Theory
Sort
View
ASWEC
2008
IEEE
16 years 3 days ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
168
Voted
AGTIVE
2007
Springer
15 years 11 months ago
Using Graph Transformation to Support Collaborative Ontology Evolution
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
Pieter De Leenheer, Tom Mens
160
Voted
ATAL
2007
Springer
15 years 11 months ago
When price is not enough: combining logical and numerical issues in bilateral negotiation
We present a novel approach to knowledge-based automated oneshot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
167
Voted
ICCS
2007
Springer
15 years 11 months ago
Validating Evolving Simulations in COERCE
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
Paul F. Reynolds Jr., Michael Spiegel, Xinyu Liu, ...
OOPSLA
2007
Springer
15 years 11 months ago
A proposal for taming uncertainty in the collaborative conceptual model development process
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
Ebrahim Bagheri