3931 search results - page 28 / 787 » Separation logic and abstraction |
CADE
2003
Springer
15 years 10 months ago
2003
Springer
89
Voted
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
ICWS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Most work on adaptive workflows offers insufficient flexibility to enforce complex policies regarding dynamic, evolvable and robust workflows. In addition, many proposed ...
FOIS
2006
14 years 11 months ago
2006
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...