1054 search results - page 75 / 211 » Translation Validation of System Abstractions |
187
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
156
click to vote
AAMAS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
264
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
198
click to vote
SEKE
2009
Springer
16 years 22 days ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
175
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...