2493 search results - page 316 / 499 » Tool Support for Design by Contract |
112
Voted
CSFW
2004
IEEE
15 years 2 months ago
2004
IEEE
Since current computer infrastructures are increasingly vulnerable to malicious activities, intrusion detection is necessary but unfortunately not sufficient. We need to design ef...
ECTEL
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. L2C - Learning to Collaborate - is an ongoing research project addressing the design of effective immersive simulation-based learning experiences supporting the developme...
89
Voted
WSC
2007
15 years 25 days ago
2007
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
CSMR
2006
IEEE
15 years 14 days ago
2006
IEEE
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
103
click to vote
VIP
2001
14 years 12 months ago
2001
Bar charts and pie charts are traditional ways of displaying trends and proportions in a data set. However, static charts don't scale well. We introduce a technique which doe...