2106 search results - page 148 / 422 » Specifying C concepts |
126
click to vote
CC
2001
Springer
15 years 9 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
153
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation d...
134
click to vote
SSIAI
2000
IEEE
15 years 9 months ago
2000
IEEE
For each patient receiving definitive treatment for cervix cancer, several CT/MR imaging studies need to be registered in order to specify the total physical or biological dose t...
138
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
123
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
Flexible parts feeding techniques have recently begun to gain industry acceptance. However, one barrier to effective flexible feeding solutions is a dearth of knowledge of the und...