671 search results - page 113 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
TCS
2002
13 years 8 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
CONEXT
2009
ACM
13 years 9 months ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
CSSE
2004
IEEE
13 years 8 months ago
2004
IEEE
Even though the final objective of an access control model is to provide a framework to decide if actions performed by subjects on objects are permitted or not, it is not convenie...
AMOST
2007
ACM
14 years 14 days ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...