5409 search results - page 86 / 1082 » Basic Observables for Processes |
160
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
179
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
Weld joint penetration control is a basic research topic in the welding research community. The authors propose using an innovative plasma arc welding process referred to as the q...
150
click to vote
LICS
2009
IEEE
16 years 25 days ago
2009
IEEE
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
152
click to vote
ICPPW
2007
IEEE
16 years 15 days ago
2007
IEEE
With the growth in the computation capacity of sensor nodes, they are increasingly equipped to handle more complex functions. Moreover, the need to realize the complete loop of se...
126
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...