2688 search results - page 191 / 538 » A formal semantics for P3P |
148
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. ...
153
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...
164
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...
169
click to vote
SEKE
2005
Springer
16 years 1 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...
193
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...