2493 search results - page 364 / 499 » Tool Support for Design by Contract |
135
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...
159
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
178
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
186
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed applications that can adapt at runtime to changing quality of service (QoS) require a model of the expected QoS and of the possible application adaptations. QoS models ...
165
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...