6614 search results - page 1196 / 1323 » Semantics of Information as Interactive Computation |
201
click to vote
ATAL
2005
Springer
16 years 14 days ago
2005
Springer
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
178
click to vote
DSVIS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
187
click to vote
HUC
2005
Springer
16 years 14 days ago
2005
Springer
With the ubiquity of camera phones, it is now possible to capture digital still and moving images anywhere, raising a legitimate concern for many organizations and individuals. Alt...
195
click to vote
RECOMB
2005
Springer
16 years 12 days ago
2005
Springer
Phenotypic differences between closely-related species may arise from differential expression regimes, rather than different gene complements. Knowledge of cellular protein levels ...
204
click to vote
COORDINATION
2004
Springer
16 years 10 days ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...