3775 search results - page 715 / 755 » The Expression Problem Revisited |
105
Voted
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
128
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
104
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
114
click to vote
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
In the recent years, the Web has been rapidly “deepened” with the prevalence of databases online. On this deep Web, many sources are structured by providing structured query i...
137
Voted
ER
2004
Springer
15 years 6 months ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...