3342 search results - page 385 / 669 » Automating Abstract Interpretation |
145
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
123
click to vote
HOTOS
1997
IEEE
15 years 9 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
128
click to vote
MICRO
2008
IEEE
15 years 4 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
154
click to vote
DAIS
2006
15 years 6 months ago
2006
Abstract. In this paper, we define a model-driven design trajectory for contextaware services consisting of three levels of models with different degrees of ion and platform indepe...
171
click to vote
JOT
2010
15 years 3 months ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...