1484 search results - page 130 / 297 » A Coordination Model for Interactive Components |
PRICAI
1998
Springer
15 years 3 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
105
click to vote
NOMS
2008
IEEE
15 years 5 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
FTRTFT
2000
Springer
15 years 2 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
108
click to vote
KES
2007
Springer
15 years 5 months ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
WSC
1997
15 years 20 days ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...