5599 search results - page 460 / 1120 » Abstract State Services |
172
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
209
click to vote
BPM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Business process models usually capture data exchanged between tasks in terms of objects. These objects are commonly standardized using reference data models that prescri...
183
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
160
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
155
click to vote
ISI
2007
Springer
16 years 1 months ago
2007
Springer
: We view the task of sensemaking in intelligence as that of abducing a story whose plot explains the current data and makes verifiable predictions about the future and the past. W...