2664 search results - page 33 / 533 » Theory by Process |
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
CONCUR
2000
Springer
14 years 9 days ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
ENTCS
2007
13 years 8 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
TACS
1994
Springer
14 years 1 days ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...