9873 search results - page 1677 / 1975 » Emergent Semantics Systems |
141
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
As Internet telephony systems continue to replace existing Public Switched Telephone Network systems, proxy servers running the Session Initiation Protocol (SIP) will continue to ...
150
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
125
click to vote
MOMPES
2008
IEEE
15 years 11 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
170
click to vote
QEST
2008
IEEE
15 years 11 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...
145
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...