2249 search results - page 310 / 450 » ILP-based engineering change |
ISSRE
2000
IEEE
14 years 2 months ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
UIST
2000
ACM
14 years 2 months ago
2000
ACM
We describe a new sketching interface in which shape recognition and morphing are tightly coupled. Raw input strokes are continuously morphed into ideal geometric shapes, even bef...
WOSP
2010
ACM
14 years 2 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
APSEC
1999
IEEE
14 years 2 months ago
1999
IEEE
The management of complexity in large systems is traditionally focused on the modeling and management of classes and hierarchies of classes. In order to improve the compositional ...