2004 search results - page 150 / 401 » Comparison of Model Checking Tools for Information Systems |
128
click to vote
ICPP
1994
IEEE
15 years 9 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
172
click to vote
JUCS
2000
15 years 4 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
133
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
150
click to vote
IWSSD
1993
IEEE
15 years 9 months ago
1993
IEEE
We are developing tools to support a conversational metaphor for requirements definition and analysis. Our conversational model consists of three components: (1) a hypertextual re...
158
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...