Sciweavers

285 search results - page 24 / 57
» On Specifying Contract Negotiations
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 10 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
AI
2004
Springer
14 years 1 months ago
A Principled Modular Approach to Construct Flexible Conversation Protocols
Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled appro...
Roberto A. Flores, Robert C. Kremer
AMET
1998
Springer
14 years 21 days ago
SICS MarketSpace - An Agent-Based Market Infrastructure
We present a simple and uniform communication framework for an agent-based market infrastructure, the goal of which is to enable automation of consumer goods markets distributed ov...
Joakim Eriksson, Niclas Finne, Sverker Janson
FECS
2006
101views Education» more  FECS 2006»
13 years 10 months ago
Providing Application Services for Small Businesses
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
Carol Lushbough
AUSDM
2007
Springer
100views Data Mining» more  AUSDM 2007»
14 years 2 months ago
An E-Market Framework to Determine the Strength of Business Relationships between Intelligent Agents
When an agent enters in an e-Market for the first time, it has no historical information that can be used to determine the strength of business relationship with participant agen...
Khandaker Shahidul Islam