1060 search results - page 109 / 212 » Mechanized semantics |
EWCBR
2004
Springer
15 years 3 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
VEE
2010
ACM
14 years 10 months ago
2010
ACM
Current trends in increasing storage capacity and virtualization of resources combined with the need for energy efficiency put a challenging task in front of system designers. Pre...
GIR
2007
ACM
15 years 1 months ago
2007
ACM
The visualization of geo-referenced information on a map has become an essential method to help the users to get the intended information. The adaptation of visualization techniqu...
ESAW
2006
Springer
15 years 1 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...