2607 search results - page 148 / 522 » On the Architecture of System Verification Environments |
131
click to vote
ELPUB
1999
ACM
15 years 10 months ago
1999
ACM
The Scholarly Link Specification (S-Link-S) Framework has been proposed as a possible approach towards a solution to the reference linking problem. S-Link-S provides a language ...
190
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
165
click to vote
IJSTM
2000
15 years 6 months ago
2000
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
163
click to vote
ANSOFT
1998
15 years 6 months ago
1998
Systematic discovery and exploitation of commonality across related software systems is a fundamental technical requirement for achieving successful software reuse. By examining a...
173
click to vote
ICCCN
2007
IEEE
16 years 23 days ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...