4795 search results - page 526 / 959 » The Message Classification Model |
172
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
182
click to vote
ICEBE
2007
IEEE
15 years 7 months ago
2007
IEEE
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...
187
click to vote
ACTA
2010
15 years 7 months ago
2010
Systems of Data Management Timed Automata (SDMTAs) are networks of communicating timed automata with structures to store messages and functions to manipulate them. We prove the dec...
167
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Type-flaw attacks and multi-protocol attacks on security protocols have been frequently reported in the literature. Heather et al. and Guttman et al. proved that these could be pr...
187
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We explore the capacity and generalized degrees of freedom of the 2-user Gaussian X channel, i.e. a generalization of the 2-user interference channel where there is an independent...