434 search results - page 62 / 87 » Structural Operational Semantics for Weighted Transition Sys... |
110
click to vote
CCR
2005
15 years 1 months ago
2005
Today's Internet maps, which are all collected from a small number of vantage points, are falling short of being accurate. We suggest here a paradigm shift for this task. DIM...
128
click to vote
FLAIRS
2009
14 years 11 months ago
2009
For certain disable persons unable to communicate, we present a palliative aid which consist of a virtual pictographic keyboard associated to a text processing from a pictographic...
102
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
124
click to vote
COORDINATION
2008
Springer
15 years 3 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
117
click to vote
PGLDB
2003
15 years 3 months ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...