10263 search results - page 1705 / 2053 » From Use Cases to System Operation Specifications |
184
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
In this digital era, digital multimedia contents are often transmitted over networks without any protection. This raises serious security concerns since the receivers/subscribers ...
197
click to vote
SSDBM
2007
IEEE
16 years 1 months ago
2007
IEEE
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...
175
click to vote
MONTEREY
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
201
click to vote
ICNP
2006
IEEE
16 years 1 months ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...
212
click to vote
INFOCOM
2005
IEEE
16 years 1 months ago
2005
IEEE
We consider the problem of neighbor discovery in static wireless ad hoc networks with directional antennas. We propose several probabilistic algorithms in which nodes perform rand...