Sciweavers

1328 search results - page 114 / 266
» Info Cases: Integrating Use Cases and Domain Models
Sort
View
186
Voted
DEON
2010
Springer
15 years 9 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
184
Voted
CP
2009
Springer
16 years 1 months ago
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem
In this paper we present a hybrid model for the demand acceptance variant of the routing and wavelength assignment problem in directed networks, an important benchmark problem in o...
Helmut Simonis
174
Voted
CAISE
2009
Springer
16 years 1 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
171
Voted
IJCAI
1989
15 years 8 months ago
A Theory of Diagnosis for Incomplete Causal Models
One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete...
Luca Console, Daniele Theseider Dupré, Piet...
168
Voted
AIME
1997
Springer
15 years 11 months ago
A Causal-Functional Model Applied to EMG Diagnosis
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
Jorge Cruz, Pedro Barahona