2688 search results - page 515 / 538 » A formal semantics for P3P |
82
Voted
WWW
2007
ACM
16 years 14 days ago
2007
ACM
Knowledge artifacts that have been labeled as ontologies have many different qualities and intended outcomes. This is particularly true of bio-ontologies where high demand has led...
WWW
2007
ACM
16 years 14 days ago
2007
ACM
The debate within the Web community over the optimal means by which to organize information often pits formalized classifications against distributed collaborative tagging systems...
112
click to vote
WWW
2004
ACM
16 years 14 days ago
2004
ACM
Learning styles, as well as the best ways of responding with corresponding instructional strategies, have been intensively studied in the classical educational (classroom) setting...
195
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
206
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...