2607 search results - page 268 / 522 » On the Architecture of System Verification Environments |
168
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
151
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
With the increasing storage capacity of personal computing devices, the problems of information overload and information fragmentation become apparent on users’ desktops. For the...
166
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
191
click to vote
IEEEARES
2007
IEEE
16 years 29 days ago
2007
IEEE
— The current standard for Fault-Tolerance in the Common Object Request Broker Architecture (CORBA) does not support network partitioning. However, distributed systems, and those...
170
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...