660 search results - page 103 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
130
click to vote
TCAD
1998
15 years 2 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
167
click to vote
ISCI
2011
14 years 9 months ago
2011
It is well known that software maintenance and evolution are expensive activities, both in terms of invested time and money. Reverse engineering activities support the obtainment ...
117
click to vote
AIEDU
2006
15 years 2 months ago
2006
In this article, we discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a simulation based exploratory learning environment called Cy...
141
click to vote
ER
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
122
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...