3837 search results - page 189 / 768 » Concurrent Engineering support in Software Engineering |
104
Voted
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...
109
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
The requirement for 24/7 availability of distributed applications complicates their maintenance and evolution as shutting down such applications to perform updates may not be an a...
128
Voted
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
This paper describes and evaluates Fireflies, a scalable protocol for supporting intrusion-tolerant network overlays.1 While such a protocol cannot distinguish Byzantine nodes fro...
143
Voted
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
134
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
As a framework evolves, changes in its Application Programming Interface (API) can break client programs that extend the framework. Repairing a client program can be a challenging...