533 search results - page 55 / 107 » Protocol synthesis from timed and structured specifications |
116
click to vote
JGS
2010
14 years 8 months ago
2010
Despite the fact that it provides a potentially useful analytical tool, allowing for the joint modeling of dynamic interdependencies within a group of connected areas, until latel...
110
click to vote
DAC
2007
ACM
15 years 5 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
107
click to vote
PERCOM
2005
ACM
16 years 28 days ago
2005
ACM
In order for pervasive computing to realize its full potential, pervasive applications have to be able to operate without support from fixed communication infrastructure at least ...
128
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
116
click to vote
ASUNAM
2009
IEEE
15 years 8 months ago
2009
IEEE
—We envision new communication paradigms, using physical dynamic interconnectedness among people. Delay Tolerant Networks (DTNs) are a new communication paradigm to support such ...