1099 search results - page 199 / 220 » Using Transformation Systems for Software Maintenance and Re... |
124
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Bio-ontologies are key elements of knowledge management in bioinformatics. Rich and rigorous bio-ontologies should represent biological knowledge with high fidelity an...
126
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
119
Voted
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
133
Voted
ISCA
2005
IEEE
15 years 8 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
119
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...