1782 search results - page 182 / 357 » Tool Support for Proof Engineering |
177
click to vote
KBSE
2008
IEEE
16 years 27 days ago
2008
IEEE
- Service discovery has been recognised as an important activity for service-based systems. In this paper we describe a framework for dynamic service discovery that supports the id...
166
click to vote
ICSEA
2006
IEEE
16 years 16 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
176
click to vote
ISPW
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper introduces the concept of an analytic web, a synthesis of three complementary views of a scientific process that is intended to facilitate the conduct of science. These ...
163
click to vote
WCRE
2005
IEEE
16 years 2 days ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
157
click to vote
AOSD
2004
ACM
15 years 12 months ago
2004
ACM
AspectWerkz is a framework targeted towards dynamic aspectoriented programming (AOP) in commercial applications. Based on our experience designing and supporting AspectWerkz, we h...