7288 search results - page 295 / 1458 » On process rate semantics |
210
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
200
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
179
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
173
click to vote
ESOP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
340
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...