1981 search results - page 302 / 397 » Model-Checking Hierarchical Structures |
121
Voted
CC
2000
Springer
15 years 7 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
104
click to vote
DOLAP
1999
ACM
15 years 7 months ago
1999
ACM
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
145
Voted
EUROMICRO
1999
IEEE
15 years 7 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
117
Voted
EDOC
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
153
Voted
INFOVIS
1997
IEEE
15 years 7 months ago
1997
IEEE
We present the H3 layout technique for drawing large directed graphs as node-link diagrams in 3D hyperbolic space. We can lay out much larger structures than can be handled using ...