2136 search results - page 380 / 428 » A Game-Theoretic Operational Semantics |
136
click to vote
SDMW
2010
Springer
15 years 10 days ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
140
click to vote
FSTTCS
2010
Springer
14 years 12 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
135
click to vote
MICCAI
2010
Springer
14 years 12 months ago
2010
Springer
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
104
click to vote
OTM
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we deal with problems occurring in evolving interrelated Web databanks. Examples of such databanks are networks of interlinked scientific repositories on the Web, man...
194
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Rate transition systems (RTS) are a special kind of transition systems introduced for defining the stochastic behavior of processes and for associating continuous-time Markov chain...