4485 search results - page 275 / 897 » Equivalences on Observable Processes |
120
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
154
click to vote
ALT
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Recently, some non-regular subclasses of context-free grammars have been found to be efficiently learnable from positive data. In order to use these efficient algorithms ...
120
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
123
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
While much research has shown that ALNs can produce learning equivalent to FTF classrooms, there has been little empirical research that explicitly and rigorously explores similar...
155
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...