3573 search results - page 176 / 715 » Reasoning about Codata |
123
Voted
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
115
Voted
ENTCS
2007
15 years 3 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
143
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
134
Voted
IJAR
2008
15 years 3 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
230
click to vote
GIS
2009
ACM
16 years 4 months ago
2009
ACM
Space- and time-referenced data published on the Web by general people can be viewed in a dual way: as independent spatiotemporal events and as trajectories of people in the geogr...