2607 search results - page 363 / 522 » On the Architecture of System Verification Environments |
190
click to vote
WCRE
2007
IEEE
16 years 24 days ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
171
click to vote
HT
2005
ACM
16 years 3 days ago
2005
ACM
Hypermedia systems’ researchers investigate the various approaches in the way documents and resources are linked, navigated and stored in a distributed environment. Unfortunatel...
155
click to vote
SEKE
2005
Springer
16 years 1 days ago
2005
Springer
With the adoption to Web service technologies, more and more existing non-service-oriented software systems turn to be legacy systems. They require a service-oriented reengineerin...
152
click to vote
SERA
2005
Springer
16 years 1 days ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...
135
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...