Sciweavers

5681 search results - page 190 / 1137
» A Domain Model for eParticipation
Sort
View
CP
2007
Springer
15 years 10 months ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
HT
2000
ACM
15 years 8 months ago
Finding linking opportunities through relationship-based analysis
Many techniques exist for analyzing information domains in preparation for systems design. No systematic technique exists, however, for analyzing a system or domain in terms of it...
Joonhee Yoo, Michael Bieber
MODELS
2010
Springer
15 years 2 months ago
Extending Variability for OCL Interpretation
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
Claas Wilke, Michael Thiele, Christian Wende
CIE
2005
Springer
15 years 10 months ago
How to Compare the Power of Computational Models
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
Udi Boker, Nachum Dershowitz
HPCC
2007
Springer
15 years 10 months ago
Towards Scalable and High Performance I/O Virtualization - A Case Study
I/O Virtualization provides a convenient way of device sharing among guest domains in a virtualized platform (e.g. Xen). However, with the ever-increasing number and variety of dev...
Jinpeng Wei, Jeffrey R. Jackson, John A. Wiegert