1689 search results - page 127 / 338 » Refining abstract interpretations |
125
click to vote
WCE
2007
15 years 5 months ago
2007
—Use case refactoring is one of the recent software engineering techniques that aimed at synthesising and refining use case models. Two new types of use case refactoring are prop...
134
click to vote
IANDC
2008
15 years 4 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
151
click to vote
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- Existing high-dimensional motion planning algorithms are simultaneously overpowered and underpowered. In domains sparsely populated by obstacles, the heuristics used by ...
169
click to vote
TCAD
2010
14 years 11 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
261
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
A fundamental problem in information integration is that of designing the relationships, called schema mappings, between two schemas. The specification of a semantically correct sc...