1782 search results - page 182 / 357 » Tool Support for Proof Engineering |
186
click to vote
KBSE
2008
IEEE
16 years 1 months 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...
179
click to vote
ICSEA
2006
IEEE
16 years 1 months 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...
186
Voted
ISPW
2005
IEEE
16 years 18 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 ...
177
Voted
WCRE
2005
IEEE
16 years 17 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...
164
click to vote
AOSD
2004
ACM
16 years 13 days 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...