3954 search results - page 274 / 791 » Image-based Model Completion |
155
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
148
click to vote
CSEE
2008
Springer
15 years 8 months ago
2008
Springer
A broad coalition of professionals from academia, industry, and government, under sponsorship of the US Department of Defense, is building a new model curriculum for a Masters Deg...
177
click to vote
COLING
2008
15 years 8 months ago
2008
This paper elaborates a model for representing semantic calendar expressions (SCEs), which correspond to the intensional meanings of natural-language calendar phrases. The model u...
156
click to vote
ICWS
2007
IEEE
15 years 8 months ago
2007
IEEE
Service-oriented environments facilitate dynamic processes whose properties can be altered during runtime. The transactional support of such processes holds specific requirements...
169
click to vote
MMGPS
2003
15 years 8 months ago
2003
This paper describes a novel approach for obtaining semantic interoperability in a bottom-up, semi-automatic manner without relying on pre-existing, global semantic models. We ass...