2493 search results - page 317 / 499 » Tool Support for Design by Contract |
101
click to vote
DBSEC
2009
14 years 11 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
ETS
2000
IEEE
14 years 10 months ago
2000
IEEE
A significant opportunity presented by the availability of high-speed network access in the classroom is the ability to collaborate with remote students and mentors. To be success...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Highly interactive web applications that offer user experience and responsiveness of desktop applications are becoming increasingly popular. They are often composed out of visual...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
We introduce a disaster simulation system that supports collaborative planning of disaster measures. While several simulation tools are available for examination and evaluation of...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a new collaboration technology that is based on the support of lightweight, informally structured, opportunistic activities featuring heterogeneous threads of...