11151 search results - page 2059 / 2231 » On the Complexity of Model Expansion |
191
Voted
MICRO
2005
IEEE
16 years 20 days ago
2005
IEEE
Until recently, a steadily rising clock rate and other uniprocessor microarchitectural improvements could be relied upon to consistently deliver increasing performance for a wide ...
252
click to vote
SIGECOM
2005
ACM
16 years 19 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
Voted
CCS
2005
ACM
16 years 19 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...
174
click to vote
CHARME
2005
Springer
16 years 19 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...
182
click to vote
CIKM
2005
Springer
16 years 19 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...