Sciweavers

3856 search results - page 571 / 772
» Models for Automated Earthmoving
Sort
View
ICEBE
2007
IEEE
151views Business» more  ICEBE 2007»
16 years 25 days ago
Systematic Security Analysis for Service-Oriented Software Architectures
Due to the dramatic increase in intrusive activities architecture security analysis and design has emerged as an important aspect of the development of software services. It is a ...
Yanguo Liu, Issa Traoré
ATAL
2007
Springer
16 years 21 days ago
Market-driven agents with uncertain and dynamic outside options
One of the most crucial criterion in automated negotiation is how to reach a consensus agreement for all negotiators under any negotiation environment. Currently, most negotiation...
Fenghui Ren, Kwang Mong Sim, Minjie Zhang
CCS
2007
ACM
16 years 21 days ago
Topological analysis of network attack vulnerability
: To understand overall vulnerability to network attack, one must consider attacker exploits not just in isolation, but also in combination. That is, one must analyze how low-level...
Sushil Jajodia
ECSQARU
2007
Springer
16 years 21 days ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
ICSOC
2007
Springer
16 years 20 days ago
Architectural Decisions and Patterns for Transactional Workflows in SOA
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
Olaf Zimmermann, Jonas Grundler, Stefan Tai, Frank...