671 search results - page 84 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
115
click to vote
JSAC
2008
14 years 11 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...
125
click to vote
TDP
2010
14 years 6 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...
100
click to vote
SAFECOMP
2007
Springer
15 years 6 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...
ER
2007
Springer
15 years 6 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...
106
click to vote
ICDCS
2011
IEEE
13 years 11 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...