7206 search results - page 359 / 1442 » Using a Hypermedia System for Systems Engineering |
170
click to vote
ESOP
2005
Springer
16 years 7 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
173
click to vote
VR
2003
IEEE
15 years 12 months ago
2003
IEEE
The so-called “blue-c” is a novel three sided immersive projection system, which has been especially designed to support telecollaborative teamwork [4]. Therefore, special pro...
180
click to vote
ISPAN
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent advances in commodity network interface technology enable scientists and engineers to build clusters of workstations or PCs to execute parallel applications. However, raw-h...
162
click to vote
GAMEON
2001
15 years 8 months ago
2001
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
130
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper we continue the study of the unified dynamics resulting from the theory of projected dynamical systems and evolutionary variational inequalities, initiated by Cojocar...