Sciweavers

6581 search results - page 908 / 1317
» Formalizing Design Patterns
Sort
View
193
Voted
WISE
2005
Springer
16 years 13 days ago
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
Stefanie Rinderle, Morad Benyoucef
197
Voted
JCDL
2005
ACM
86views Education» more  JCDL 2005»
16 years 13 days ago
From playful exhibits to LOM: lessons from building an exploratorium digital library
The Exploratorium, an interactive hand-on science museum, is developing an online collection of science learning and teaching resources to better serve educators’ needs for peda...
Holly Fait, Sherry Hsi
185
Voted
AOSE
2005
Springer
16 years 12 days ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
173
Voted
APN
2005
Springer
16 years 12 days ago
Modeling Dynamic Architectures Using Nets-Within-Nets
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
179
Voted
FC
2005
Springer
83views Cryptology» more  FC 2005»
16 years 12 days ago
Secure Distributed Human Computation
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
Craig Gentry, Zulfikar Ramzan, Stuart G. Stubblebi...