2685 search results - page 194 / 537 » A Formal Semantics for SPKI |
216
click to vote
IWFM
1998
15 years 8 months ago
1998
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell&#...
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
158
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
173
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said ab...
180
click to vote
SEKE
2005
Springer
16 years 8 days ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...