615 search results - page 65 / 123 » The challenges of automated methods for integrating systems |
CADE
2002
Springer
14 years 9 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
Publication
Computer scientists have made ceaseless efforts to replicate cognitive video understanding abilities
of human brains onto autonomous vision systems. As video surveillance cameras ...
COLCOM
2007
IEEE
14 years 20 days ago
2007
IEEE
With the widespread adoption of XML as the message format to disseminate content over distributed systems including Web Services and Publish-Subscribe systems, different methods ha...
JOT
2008
13 years 8 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
DGO
2000
13 years 10 months ago
2000
The massive amount of statistical and text data available from government agencies has created a set of daunting challenges to both research and analysis communities. These proble...