132 search results - page 16 / 27 » Process Algebra for Agent Communication: A General Semantic ... |
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
DOLAP
2008
ACM
13 years 9 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
ISSTA
2009
ACM
14 years 4 days ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
MC
2001
13 years 8 months ago
2001
Designing human-computer interfaces that are easy and intuitive to use is important for the use of computer technology in general. Due to the growing complexity of information sys...