2607 search results - page 133 / 522 » On the Architecture of System Verification Environments |
191
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
148
click to vote
APPT
2003
Springer
15 years 11 months ago
2003
Springer
This paper focuses on the problem of scheduling outages to computer systems in complex distributed environments. The interconnected nature of these systems makes scheduling global ...
141
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we present the design of a multidisciplined problem solving environment (MPSE) for supporting an efficient prediction capability for the response of multiscale interd...
143
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
The lack of high-level design tools hampers the widespread adoption of adaptive computing systems. Application developers have to master a wide range of functions, from the high-le...
174
click to vote
ECSCW
1993
15 years 7 months ago
1993
: We present a spatial model of group interaction in virtual environments. The model aims to provide flexible and natural support for managing conversations among large groups gath...