Sciweavers

402 search results - page 38 / 81
» Complexity of Decision Problems for Simple Regular Expressio...
Sort
View
ENTCS
2007
114views more  ENTCS 2007»
13 years 8 months ago
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
Jens Happe, Heiko Koziolek, Ralf Reussner
WSC
1997
13 years 10 months ago
MedModel - Healthcare Simulation Software
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
Steve H. Denney
INFOCOM
2006
IEEE
14 years 2 months ago
The Complexity of Connectivity in Wireless Networks
— We define and study the scheduling complexity in wireless networks, which expresses the theoretically achievable efficiency of MAC layer protocols. Given a set of communicati...
Thomas Moscibroda, Roger Wattenhofer
VLDB
2007
ACM
126views Database» more  VLDB 2007»
14 years 9 months ago
Querying Complex Structured Databases
Correctly generating a structured query (e.g., an XQuery or a SQL query) requires the user to have a full understanding of the database schema, which can be a daunting task. Alter...
Cong Yu, H. V. Jagadish
UAI
2003
13 years 10 months ago
A Logic for Reasoning about Evidence
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after makin...
Joseph Y. Halpern, Riccardo Pucella