5639 search results - page 602 / 1128 » Timed Abstract Non-interference |
191
click to vote
OPODIS
2008
15 years 8 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
165
click to vote
OPODIS
2008
15 years 8 months ago
2008
Abstract. We consider the following model of cellular networks. Each base station has a given finite capacity, and each client has some demand and profit. A client can be covered b...
219
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
146
Voted
MASCOTS
2007
15 years 8 months ago
2007
Abstract— Wireless Mesh Networks are a scalable and costeffective solution for next-generation wireless networking. In the present work, we consider the Round Weighting Problem (...
179
click to vote
SERVICES
2008
15 years 8 months ago
2008
an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via chan...