285 search results - page 10 / 57 » Model Checking Contracts - A Case Study |
CEEMAS
2005
Springer
14 years 2 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
WECWIS
2006
IEEE
14 years 2 months ago
2006
IEEE
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...
ENTCS
2007
13 years 8 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
KDD
2009
ACM
14 years 3 months ago
2009
ACM
In this paper we propose a utility model that accounts for both sales and branding advertisers. We first study the computational complexity of optimization problems related to bo...