2493 search results - page 245 / 499 » Tool Support for Design by Contract |
107
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
CHI
2008
ACM
15 years 11 months ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
78
Voted
CSCW
1999
ACM
14 years 10 months ago
1999
ACM
Voice loops, an auditory groupware technology, are essential coordination support tools for experienced practitioners in domains such as air traffic management, aircraft carrier o...
108
click to vote
MOBIHOC
2008
ACM
15 years 10 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...
SACMAT
2009
ACM
15 years 5 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...