68 search results - page 1 / 14 » Tractability Results for Automatic Contracting |
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
CAIP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Intestinal contractions are one of the main features for analyzing intestinal motility and detecting different gastrointestinal pathologies. In this paper we propose Eig...
AUTOMATICA
2008
13 years 4 months ago
2008
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
ATVA
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...