126 search results - page 9 / 26 » sara 2007 |
117
click to vote
DISOPT
2007
15 years 4 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...
103
click to vote
ICSOC
2007
Springer
15 years 10 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...
115
click to vote
SECURWARE
2007
IEEE
15 years 10 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...
134
click to vote
ICCBR
2007
Springer
15 years 10 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...
137
click to vote
PAM
2007
Springer
15 years 10 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...