22588 search results - page 4291 / 4518 » On simulation model complexity |
256
click to vote
SIGECOM
2005
ACM
16 years 22 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
212
click to vote
CCS
2005
ACM
16 years 21 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
180
click to vote
CHARME
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
183
click to vote
CIKM
2005
Springer
16 years 21 days ago
2005
Springer
Document-centric XML is a mixture of text and structure. With the increased availability of document-centric XML content comes a need for query facilities in which both structural...
175
click to vote
COCOON
2005
Springer
16 years 21 days ago
2005
Springer
Many web-based systems have a tiered application architecture, in which a request needs to transverse all the tiers before finishing its processing. One of the most important QoS...