11168 search results - page 303 / 2234 » Abstract State Processes |
169
click to vote
WSC
2004
15 years 8 months ago
2004
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...
174
click to vote
TCS
2008
15 years 7 months ago
2008
We show that the class of Petri nets is less expressive with respect to bisimulation equivalence than the class of PA processes extended with a finite state control unit. Key word...
196
Voted
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
178
click to vote
HICSS
2002
IEEE
16 years 3 days ago
2002
IEEE
Many authorities have started to use web sites to provide services based on transactions. The guiding vision is often a process portal for citizens that provides access to the cou...
165
click to vote
AIEDU
2007
15 years 7 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...