1380 search results - page 206 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
123
click to vote
IADIS
2008
15 years 4 months ago
2008
The goal of this work is to study the feasibility of a Heterogeneous Data Classification and Search (HDCS) system and to provide a possible design for its implementing. In order t...
138
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
123
click to vote
AAAI
1994
15 years 4 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
245
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
135
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...