1382 search results - page 121 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
ECAI
2008
Springer
15 years 7 hour ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
75
Voted
ITCC
2005
IEEE
15 years 3 months ago
2005
IEEE
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...
68
Voted
FLAIRS
1998
14 years 11 months ago
1998
CIRCSIM-Tutor is a dialogue-based intelligent tutoring system that conducts dialogues with medical students about blood pressure regulation. To obtain models for computergenerated...
126
Voted
GLOBECOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Cognitive networking deals with applying cognition to the entire network protocol stack for achieving stack-wide as well as network-wide performance goals, unlike cognitive radios ...
92
Voted
PE
2006
Springer
14 years 10 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...