9702 search results - page 1642 / 1941 » Communicating Mobile Processes |
179
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
In recent work, we proposed an alternative to parallel text as translation model (TM) training data: audio recordings of parallel speech (pSp), as it occurs in any communication s...
140
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
199
click to vote
PVLDB
2010
15 years 5 months ago
2010
Complex networks, such as biological, social, and communication networks, often entail uncertainty, and thus, can be modeled as probabilistic graphs. Similar to the problem of sim...
213
click to vote
WINET
2010
15 years 5 months ago
2010
Wireless sensor networks are characterised by the distributed nature of their operation and the resource constraints on the nodes. Trust management schemes that are targeted at sen...
174
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...