1288 search results - page 4 / 258 » On Analysis of Design Component Contracts: A Case Study |
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
By QoS (Quality of Service), we often refer to a set of quality requirements on the collective behavior of one or more objects. These requirements enable the provision of better se...
PDC
2004
ACM
14 years 26 days ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
ECIS
2001
13 years 8 months ago
2001
The majority of SMEs have neither the internal expertise nor financial resources to enable in-house development of e-business and therefore turn to the services of website design ...
SERP
2007
13 years 8 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...