5409 search results - page 61 / 1082 » Basic Observables for Processes |
TAMODIA
2008
13 years 9 months ago
2008
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
PARLE
1987
13 years 11 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
GCC
2003
Springer
14 years 27 days ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
ICIP
1997
IEEE
14 years 9 months ago
1997
IEEE
As JPEG has become an international standard for image compression, we present techniques that allow the processing of an image in the JPEG-compressed" domain. The goal is to...