3081 search results - page 520 / 617 » A Formal Ontology of Properties |
170
click to vote
FROCOS
2007
Springer
16 years 17 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
174
click to vote
FSEN
2007
Springer
16 years 17 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
199
click to vote
GEOS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Representing human spatial knowledge has long been a challenging research area. The objective of this paper is to model a route description of human navigation where verb...
173
click to vote
HPCC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
150
click to vote
HYBRID
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...