1432 search results - page 263 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
174
click to vote
POPL
2003
ACM
15 years 9 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
85
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
TMRA
2005
Springer
15 years 2 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
MIDDLEWARE
2004
Springer
15 years 2 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
SENSYS
2004
ACM
15 years 2 months ago
2004
ACM
Developing sensor network applications demands a new set of tools to aid programmers. A number of simulation environments have been developed that provide varying degrees of scala...