1356 search results - page 93 / 272 » A variable-free dynamic semantics |
154
Voted
CSMR
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Concept or feature identification, i.e., the identification of the source code fragments implementing a particular feature, is a crucial task during software understandin...
168
Voted
TC
2010
14 years 10 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
125
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Retrieving videos using key words requires obtaining the semantic features of the videos. Most work reported in the literature focuses on annotating a video shot with a fixed numb...
147
Voted
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
155
Voted
EDOC
2011
IEEE
14 years 3 months ago
2011
IEEE
—In this paper, we present a UML metamodel-based approach for creating and executing workflow models. The modeling language is introduced through its abstract syntax, and an eval...