Sciweavers

3801 search results - page 410 / 761
» An Approach to Modeling Software Safety
Sort
View
EUROMICRO
2004
IEEE
15 years 10 months ago
A Framework for Protecting Web Sevices with IPsec
This paper proposes a WSDL extension for describing IPsec policies for protecting Web Services communications. By using the proposed extension, a Web Service (server) informs to i...
Cássio Ditzel Kropiwiec, Edgard Jamhour, Ca...
APIN
2007
80views more  APIN 2007»
15 years 6 months ago
Specification, analysis and simulation of the dynamics within an organisation
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...
CCE
2010
15 years 4 months ago
Scope for the application of mathematical programming techniques in the synthesis and planning of sustainable processes
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...
Ignacio E. Grossmann, Gonzalo Guillén-Gos&a...
RE
2010
Springer
15 years 1 months ago
Dependability Arguments with Trusted Bases
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
Eunsuk Kang, Daniel Jackson
AVI
2008
15 years 9 months ago
The need for an interaction cost model in adaptive interfaces
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
Bowen Hui, Sean Gustafson, Pourang Irani, Craig Bo...