Sciweavers

809 search results - page 132 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
PPSWR
2005
Springer
15 years 5 months ago
A Geospatial World Model for the Semantic Web
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
François Bry, Bernhard Lorenz, Hans Jü...
ECLIPSE
2004
ACM
15 years 5 months ago
Eclipse as a platform for research on interruption management in software development
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
Uri Dekel, Steven Ross
SEW
2003
IEEE
15 years 5 months ago
Instrumentation of Intermediate Code for Runtime Verification
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve R...
FTDCS
2004
IEEE
15 years 3 months ago
A New Perspective in Defending against DDoS
Distributed denial of service (DDoS) is a major threat to the availability of Internet services. The anonymity allowed by IP networking, together with the distributed, large scale...
Shigang Chen, Randy Chow
HCI
1993
15 years 1 months ago
Reducing Repetition in Graphical Editing
People producing illustrations with graphical editors often need to repeat the same steps over and over again. This paper describes five techniques that reduce the amount of repet...
David Kurlander