Sciweavers

29172 search results - page 5503 / 5835
» Modeling Systems in CLP
Sort
View
COR
2004
106views more  COR 2004»
15 years 6 months ago
Performance analysis of the DAR(1)/D/c priority queue under partial buffer sharing policy
We analyze a multi-server priority queueing system with partial buffer sharing, where the input is a discrete autoregressive process of order 1 (DAR(1)) which is known as a good m...
Gang Uk Hwang, Bong Dae Choi
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 6 months ago
On Generalized Records and Spatial Conjunction in Role Logic
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
Viktor Kuncak, Martin C. Rinard
CCR
2002
111views more  CCR 2002»
15 years 6 months ago
A taxonomy and design considerations for Internet accounting
Economic principles are increasingly being suggested for addressing some complex issues related to distributed resource allocation for QoS (Quality of Service) enhancement. Many p...
Michel Kouadio, Udo W. Pooch
DIDACTICA
2000
110views more  DIDACTICA 2000»
15 years 6 months ago
Umsetzung von Grundkonzepten der Informatik zur fachlichen Orientierung im Informatikunterricht
Abstract During its development computer science has more and more established a way it sees itself. However, in recent years the rise of distributed systems and object orientation...
Ludger Humbert
CORR
2002
Springer
187views Education» more  CORR 2002»
15 years 6 months ago
Answer Sets for Consistent Query Answering in Inconsistent Databases
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
« Prev « First page 5503 / 5835 Last » Next »