5409 search results - page 86 / 1082 » Basic Observables for Processes |
104
click to vote
FSTTCS
2006
Springer
15 years 4 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...
120
Voted
AUTOMATICA
2007
15 years 24 days 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...
95
Voted
LICS
2009
IEEE
15 years 7 months 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...
ICPPW
2007
IEEE
15 years 7 months 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...
81
Voted
CAISE
2006
Springer
15 years 4 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...