1186 search results - page 162 / 238 » Goal-Oriented Interaction Protocols |
138
click to vote
SOUPS
2006
ACM
16 years 3 days ago
2006
ACM
– In this paper we describe the protection goals and mechanisms in HomePlug AV, a next-generation power-line communications standard. This is a fascinating case-history in securi...
156
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
152
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
172
click to vote
ICPADS
2005
IEEE
15 years 11 months ago
2005
IEEE
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
180
click to vote
QSIC
2005
IEEE
15 years 11 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...