5477 search results - page 64 / 1096 » Contexts, Domains, and Software |
ATAL
2008
Springer
14 years 1 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
AGP
1995
IEEE
14 years 2 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
EDOC
2007
IEEE
14 years 5 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
LOPSTR
1998
Springer
14 years 3 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
AIPS
2009
14 years 8 days ago
2009
Solving real-world problems using symbolic planning often requires a simplified formulation of the original problem, since certain subproblems cannot be represented at all or only...