2685 search results - page 225 / 537 » A Formal Semantics for SPKI |
166
click to vote
COSIT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper analyses the semantics of natural language expressions that are associated with the intuitive notion of ‘place’. We note that the nature of such terms is h...
156
click to vote
CCGRID
2005
IEEE
16 years 11 days ago
2005
IEEE
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...
165
click to vote
AIED
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
148
click to vote
ICDT
2005
ACM
16 years 8 days ago
2005
ACM
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...
198
click to vote
ISPA
2005
Springer
16 years 7 days ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...