2485 search results - page 130 / 497 » A Communicating Tree Model for Generating Network Applicatio... |
SACMAT
2003
ACM
14 years 2 months ago
2003
ACM
The focus of access control in client/server environments is on protecting sensitive server resources by determining whether or not a client is authorized to access those resource...
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
EDBT
2009
ACM
14 years 3 months ago
2009
ACM
To our best knowledge, all existing graph pattern mining algorithms can only mine either closed, maximal or the complete set of frequent subgraphs instead of graph generators whic...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
– Optical burst switching (OBS) is a promising technique for next-generation optical switching networks. In traditional OBS, an entire burst is discarded when all output waveleng...
INFOCOM
1995
IEEE
14 years 15 days ago
1995
IEEE
Usage-based pricing of offered traffic to a data network can be an effective technique for congestion control. To gain insight into the benejits usage-based pricing offers, we pro...