3706 search results - page 94 / 742 » OntoComP System Description |
152
click to vote
DLOG
2001
15 years 6 months ago
2001
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
135
Voted
SFM
2004
Springer
15 years 10 months ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
130
Voted
EICS
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
138
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
126
click to vote
PDSE
1998
15 years 6 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...