1636 search results - page 254 / 328 » Reasoning About Quantum Systems |
209
click to vote
CSL
2007
Springer
16 years 10 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
144
click to vote
FLAIRS
2004
15 years 7 months ago
2004
Intelligent directory assistance is the ability to retrieve relevant subscriber records in the presence of mismatches between the query and the subscriber record. The challenges a...
178
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
159
click to vote
IPCCC
1999
IEEE
15 years 10 months ago
1999
IEEE
Performance of Web servers is critical to the success of many corporations and organizations. However, very few results have been published that quantitatively study the server be...
255
click to vote
IHI
2012
14 years 1 months ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...