Sciweavers

2610 search results - page 336 / 522
» codes 2007
Sort
View
RE
2007
Springer
15 years 10 months ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
140
Voted
ROBOCUP
2007
Springer
105views Robotics» more  ROBOCUP 2007»
15 years 10 months ago
Probabilistic Decision Making in Robot Soccer
Decision making is an important issue in robot soccer, which has not been investigated deeply enough by the RoboCup research community. This paper proposes a probabilistic approach...
Pablo Guerrero, Javier Ruiz-del-Solar, Gonzalo D&i...
SAS
2007
Springer
15 years 10 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
SAS
2007
Springer
111views Formal Methods» more  SAS 2007»
15 years 10 months ago
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
Ben Hardekopf, Calvin Lin
134
Voted
SEKE
2007
Springer
15 years 10 months ago
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
Navin Viswanath, Rajshekhar Sunderraman