12084 search results - page 2013 / 2417 » Effect Systems with Subtyping |
209
click to vote
BMEI
2008
IEEE
15 years 8 months ago
2008
IEEE
The importance of gene expression data in cancer diagnosis and treatment by now has been widely recognized by cancer researchers in recent years. However, one of the major challen...
152
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
With the increasing adoption of process-aware information systems (PAIS), large process model repositories have emerged. Over time respective models have to be re-aligned to the re...
155
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
184
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
192
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Software cache-based side channel attacks present a serious threat to computer systems. Previously proposed countermeasures were either too costly for practical use or only effect...