449 search results - page 80 / 90 » Formal Modeling of Communication Protocols by Graph Transfor... |
116
click to vote
DEXAW
2008
IEEE
15 years 1 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— In wireless ad hoc networks (WANETs), e.g. wireless sensor networks, battery-powered devices are constrained by limited amount of energy. Many WANET applications require that t...
101
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
A newly deployed multi-hop radio network is unstructured and lacks a reliable and efficient communication scheme. In this paper, we take a step towards analyzing the problems exis...
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
The structure of customer communication network provides us a natural way to understand customers’ relationships. Traditional customer relationship management (CRM) methods focu...
118
Voted
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...