2509 search results - page 437 / 502 » Abstract Geometrical Computation and Computable Analysis |
EMSOFT
2007
Springer
14 years 4 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
PDIS
1993
IEEE
14 years 2 months ago
1993
IEEE
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
FAC
2010
13 years 7 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
VIZSEC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...