1583 search results - page 179 / 317 » Using Multi-context Systems to Engineer Executable Agents |
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
SCAM
2003
IEEE
14 years 2 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
ARCS
2006
Springer
14 years 1 months ago
2006
Springer
This corresponds to the material in the invited keynote presentation by H. J. Siegel, summarizing the research in [2, 23]. Resource allocation decisions in heterogeneous parallel a...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...