Sciweavers

665 search results - page 78 / 133
» The Decision View of Software Architecture
Sort
View
TRUSTBUS
2007
Springer
14 years 1 months ago
Securing VO Management
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
Florian Kerschbaum, Rafael Deitos, Philip Robinson
CAISE
2003
Springer
14 years 1 months ago
Ontological Basis for Agent ADL
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
Stéphane Faulkner, Manuel Kolp
DAC
1999
ACM
14 years 3 days ago
Using Lower Bounds During Dynamic BDD Minimization
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
Rolf Drechsler, Wolfgang Günther
COMPSAC
2003
IEEE
14 years 1 months ago
A Framework for Web-based Research Support Systems
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...
Yiyu Yao
FSTTCS
2006
Springer
13 years 11 months ago
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
Véronique Cortier, Steve Kremer, Ralf K&uum...