6474 search results - page 433 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
161
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
173
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
Most document or information management systems rely on hierarchies to organise documents (e.g. files, email messages or web bookmarks). However, the rigid structures of hierarchi...
170
click to vote
WCRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
180
click to vote
SEKE
1994
Springer
15 years 11 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
250
click to vote
FORTEST
2008
15 years 8 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...