1508 search results - page 199 / 302 » Toward Software Plug-and-Play |
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commerci...
GECCO
2006
Springer
14 years 29 days ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...
ISW
2000
Springer
14 years 27 days ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...
CSE
2009
IEEE
14 years 18 days ago
2009
IEEE
Software development teams face challenges communicating with each other. This paper presents the design of a social real-time collaborative IDE called SCI that unifies the concep...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...