1100 search results - page 73 / 220 » From Goals to Aspects: Discovering Aspects from Requirements... |
117
click to vote
ERSHOV
2006
Springer
15 years 5 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
107
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
CCR
2002
15 years 1 months ago
2002
The features of ATM offered many attractions to the application community, such as fine-grained multiplexing and high-throughput links. These created considerable challenges for t...
100
click to vote
AI
1999
Springer
15 years 1 months ago
1999
Springer
Sage is a robot that has been installed at the Carnegie Museum of Natural History as a full-time autonomous member of the staff. Its goal is to provide educational content to muse...
108
click to vote
ICDE
2006
IEEE
15 years 8 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...