511 search results - page 21 / 103 » A Methodology for Extending Focusing Frameworks |
103
Voted
PADL
2012
Springer
13 years 5 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
85
Voted
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
The focus of this paper is to extend the lifetime of a battery powered node in wireless context. The lifetime of a battery depends on both the manner of discharge and the transmis...
71
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
APNOMS
2006
Springer
15 years 1 months ago
2006
Springer
Web Services and Service-Oriented Architecture (SOA) has been playing an important role as a middleware for interoperable transactions such as Business-to-Business and Enterprise A...