5378 search results - page 810 / 1076 » Base Logics in Argumentation |
105
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
94
Voted
DEBS
2003
ACM
15 years 6 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
98
Voted
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...
103
click to vote
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
125
click to vote
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...