1809 search results - page 167 / 362 » A Formal Specification of dMARS |
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we study the trade-offs between time series compressibility and partial information hiding and their fundamental implications on how we should introduce uncertainty ...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
EDBT
2002
ACM
14 years 9 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...