1154 search results - page 188 / 231 » Semantic Context Reasoning Using Ontology Based Models |
206
click to vote
FOSSACS
2005
Springer
16 years 27 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
190
click to vote
ECOWS
2006
Springer
15 years 11 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
207
Voted
ENTCS
2008
15 years 7 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
196
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
221
Voted
JCDL
2003
ACM
16 years 19 days ago
2003
ACM
To access the content of digital texts efficiently, it is necessary to provide more sophisticated access than keyword based searching. Genescene provides biomedical researchers wi...