15155 search results - page 254 / 3031 » System Software |
152
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we investigate innovative techniques of achieving software flexibility in a workflow environment. We believe that by incorporating workflow technology and intellige...
195
click to vote
ESE
2008
15 years 6 months ago
2008
Literature on the topic of code cloning often asserts that duplicating code within a software system is a bad practice, that it causes harm to the system's design and should b...
177
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
195
click to vote
ADAEUROPE
2005
Springer
16 years 3 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
149
click to vote
IWPC
2005
IEEE
16 years 4 days ago
2005
IEEE
Changes of software systems are less expensive and less error-prone if they affect only one subsystem. Thus, clusters of artifacts that are frequently changed together are subsyst...