126 search results - page 9 / 26 » sara 2007 |
DISOPT
2007
13 years 9 months ago
2007
We consider optimization problems related to the prevention of large-scale cascading blackouts in power transmission networks subject to multiple scenarios of externally caused da...
ICSOC
2007
Springer
14 years 4 months ago
2007
Springer
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
SECURWARE
2007
IEEE
14 years 4 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a multiagent system that provides guidance on leisure facilities and suggestions for shopping in malls. This paper presents a deliberative agent which incorpora...
PAM
2007
Springer
14 years 4 months ago
2007
Springer
Most Internet measurement studies utilize traceroute-collected path traces to build Internet maps. In this paper, we measure the impact of alias resolution problem on Internet topo...