1746 search results - page 225 / 350 » A Constructive Semantics for ALC |
129
click to vote
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
95
Voted
E4MAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas ...
127
Voted
ER
2005
Springer
15 years 6 months ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
93
Voted
MKM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...