9806 search results - page 1653 / 1962 » Engineering adaptive requirements |
190
click to vote
ISORC
2006
IEEE
16 years 24 days ago
2006
IEEE
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
196
click to vote
ISORC
2006
IEEE
16 years 24 days ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
200
click to vote
ISSRE
2006
IEEE
16 years 24 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
144
Voted
SEW
2006
IEEE
16 years 24 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
159
click to vote
WISE
2006
Springer
16 years 23 days ago
2006
Springer
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...