460 search results - page 1 / 92 » A Principled Semantics for inp |
COORDINATION
2000
Springer
13 years 8 months ago
2000
Springer
CORR
2010
Springer
13 years 1 months ago
2010
Springer
Abstract. Semantic wikis, wikis enhanced with Semantic Web technologies, are appropriate systems for community-authored knowledge models. They are particularly suitable for scienti...
TOCL
2011
12 years 11 months ago
2011
IJISEC
2011
12 years 7 months ago
2011
Remote attestation is the activity of making a claim about properties of a target by supplying evidence to an appraiser over a network. We identify five central principles to guid...
LPNMR
2004
Springer
13 years 9 months ago
2004
Springer
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the que...