Sciweavers

587 search results - page 30 / 118
» A Formal Framework for Developing Adaptable Service-Based Ap...
Sort
View
COOPIS
2003
IEEE
14 years 2 months ago
BRAIN: A Framework for Flexible Role-Based Interactions in Multiagent Systems
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
ISORC
2008
IEEE
14 years 3 months ago
Applicability of Web Service Technologies to Reach Real Time Capabilities
Currently the developing process for enterprise applications is improved by the Service Oriented Architecture (SOA) paradigms. With SOAs the creation of modular and clearly defin...
Steffen Prüter, Guido Moritz, Elmar Zeeb, Ral...
ESORICS
2010
Springer
13 years 10 months ago
A New Framework for RFID Privacy
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
Robert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao
CSFW
2010
IEEE
14 years 22 days ago
A Machine-Checked Formalization of Sigma-Protocols
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
Gilles Barthe, Daniel Hedin, Santiago Zanella B&ea...
MATA
2005
Springer
170views Communications» more  MATA 2005»
14 years 2 months ago
Adaptive Content for the Mobile User: A Policy-Based Approach
Service adaptation is fundamental to context-aware service provisioning and to the realization of the Virtual Home Environment concept, which is now an integral part of the 3G serv...
Alvin Yew, Antonio Liotta, Kun Yang