12774 search results - page 2228 / 2555 » A Framework for Proof Systems |
182
Voted
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
175
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
161
click to vote
FOSAD
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for designing and composing services in a secure manner. Services can enforce security policies locally, and can invoke other services in a “call...
169
click to vote
GCC
2007
Springer
16 years 1 months ago
2007
Springer
Rapid advancement of communication technology has changed the landscape of computing. New models of computing, such as business-on-demand, Web services, peer-to-peer networks, and...
189
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This work presents a novel approach to filter synthesis on a field programmable analog array (FPAA) architecture using a genetic algorithm (GA). First, a Matlab model of the FPA...