Sciweavers

3868 search results - page 448 / 774
» Open Systems in TLA
Sort
View
AGILE
2007
Springer
803views GIS» more  AGILE 2007»
16 years 27 days ago
Increasing the Fitness of OGC-Compliant Web Map Services for the Web 2.0
Google Maps and Google Earth are very popular web mapping services but they are not open and not OGC-compliant. The question arises why this is not the case. One reason is that com...
Thomas Brinkhoff
AIMS
2007
Springer
16 years 27 days ago
A Survey of the High-Speed Self-learning Intrusion Detection Research Area
Intrusion detection for IP networks has been a research theme for a number of years already. One of the challenges is to keep up with the ever increasing Internet usage and network...
Anna Sperotto, Remco van de Meent
ATAL
2007
Springer
16 years 27 days ago
An event-driven approach for agent-based business process enactment
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
Payal Chakravarty, Munindar P. Singh
CCS
2007
ACM
16 years 27 days ago
Effect of static analysis tools on software security: preliminary investigation
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
Vadim Okun, William F. Guthrie, Romain Gaucher, Pa...
CEEMAS
2007
Springer
16 years 27 days ago
Verifying Dominant Strategy Equilibria in Auctions
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...
Emmanuel M. Tadjouddine, Frank Guerin