2448 search results - page 131 / 490 » The Octahedron Abstract Domain |
ADVSE
2010
13 years 3 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
CSMR
2010
IEEE
13 years 3 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...
JSAC
2011
13 years 3 months ago
2011
Abstract—The increasing demand for wireless access in vehicular environments (WAVE) supporting a wide range of applications such as traffic safety, surveying, infotainment etc.,...
MOC
2011
13 years 3 months ago
2011
Abstract. Various applications in uid dynamics and computational continuum mechanics motivate the development of reliable and e cient adaptive algorithms for mixed nite element m...
TII
2011
13 years 3 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...