7080 search results - page 1034 / 1416 » Designing High Integrity Systems Using Aspects |
172
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
Cloud Computing is an emerging technology promising new business opportunities and easy deployment of web services. Much has been written about the risks and benefits of cloud co...
167
click to vote
MOBIQUITOUS
2007
IEEE
15 years 11 months ago
2007
IEEE
— The dynamic nature of mobile ad hoc networks poses fundamental challenges to the design of service composition schemes that can minimize the effect of service disruptions. Alth...
147
click to vote
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
134
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
In this demo, we present GENIUS, a tool that facilitates research in the area of bilateral multi-issue negotiation. It implements an open architecture allowing easy development an...
130
click to vote
COMPSAC
1997
IEEE
15 years 9 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...