3515 search results - page 429 / 703 » On the semantics of Strategy Logic |
249
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Frequent failure occurrences are becoming a serious concern to the community of high-end computing, especially when the applications and the underlying systems rapidly grow in ...
201
click to vote
FOSSACS
2003
Springer
16 years 24 days ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
223
click to vote
WS
2008
ACM
15 years 7 months ago
2008
ACM
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...
201
click to vote
ESOP
2003
Springer
16 years 24 days ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
244
click to vote
DALT
2005
Springer
16 years 1 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...