401 search results - page 59 / 81 » Formal Analysis of Meeting Protocols |
FECS
2006
14 years 1 days ago
2006
Data Communication and Computer Networking is a traditional undergraduate CS course. Classic teaching focuses on communication protocol and algorithm analysis, plus socket programm...
EUPROJECTS
2005
Springer
14 years 4 months ago
2005
Springer
Participatory methods can, in principle, be applied for a variety of purposes to gain insight into the context of use of an artefact or the way in which tasks are performed by end ...
ECEASST
2008
13 years 10 months ago
2008
Monitoring human-computer interaction aids the analysis for understanding how well software meets its purpose. In particular, monitoring human-computer interactions with respect to...
ESORICS
2009
Springer
14 years 11 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
IPSN
2005
Springer
14 years 4 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...