5451 search results - page 599 / 1091 » Typed Operational Semantics |
173
click to vote
ENTCS
2007
15 years 6 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
169
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
186
click to vote
JOT
2007
15 years 6 months ago
2007
Metadata play crucial role in enterprise interoperability between business, service rmation layers. Metadata in different form, such as the abstract of system structure, aggregati...
188
click to vote
EUROMED
2010
2010
Architectural Heritage Online: Ontology-Driven Website Generation for World Heritage Sites in Danger
15 years 5 months ago
We introduce an online knowledge base for semantic representation and annotation of a world heritage site in danger. For this purpose we designed ontology inside the protégé tool...
176
click to vote
JOT
2010
15 years 5 months ago
2010
entional vulnerability detection fails to extend its generic form to an abstract level in coping with particular type of string validation. Consequently the security bypasses key ...