917 search results - page 93 / 184 » Application reviews |
156
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
209
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
159
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We consider the problem of optimizing the trajectory of a mobile sensor with perfect localization whose task is to estimate a stochastic, perhaps multidimensional fiel...
154
click to vote
PCM
2009
Springer
15 years 11 months ago
2009
Springer
Many presentations consisting of video, audio and slides are being recorded for wider dissemination purposes. Video slide alignment is necessary for efficient review and hence has ...
154
click to vote
OOIS
2001
Springer
15 years 10 months ago
2001
Springer
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...