671 search results - page 84 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
151
Voted
JSAC
2008
15 years 3 months ago
2008
If a network is to operate successfully, its users need to collaborate. Collaboration takes the form of following a network protocol and involves some resource expenditure on the p...
169
Voted
TDP
2010
14 years 10 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
131
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
125
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
151
click to vote
ICDCS
2011
IEEE
14 years 3 months ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...