7918 search results - page 1175 / 1584 » Model Composition Directives |
164
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
159
click to vote
ICEIS
2000
IEEE
15 years 9 months ago
2000
IEEE
Alignment of organisational strategy with Information Systems Strategy (ISS) has become critical as adoption of Information Systems (IS) over the last 50 years has escalated. IS c...
161
click to vote
SIGADA
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
139
click to vote
STACS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
130
click to vote
HICSS
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper, we present a document model which integrates the logical structure and hypertext link structure of hyperdocuments in order to manage structured documents with hyper...