4346 search results - page 823 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
RE
2001
Springer
15 years 4 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
PG
1997
IEEE
15 years 4 months ago
1997
IEEE
The last few years have seen great maturationin the computation speed and control methods needed to portray 3D virtualhumanssuitableforreal interactiveapplications. We first desc...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we present a new protocol to address multilateral multi-issue negotiation in a cooperative context. We consider complex dependencies between multiple issues by mode...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...