337 search results - page 41 / 68 » Semantic Integration through Invariants |
125
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
113
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
While there is a very long tradition of approximating a data array by projecting row or column vectors into a lower dimensional subspace the direct approximation of a data matrix ...
126
click to vote
DEXA
2009
Springer
15 years 8 months ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
107
click to vote
ECTEL
2007
Springer
15 years 8 months ago
2007
Springer
We report on an ongoing project which aims at improving the eectiveness of retrieval and accessibility of learning object within learning management systems and learning object re...
113
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...