4564 search results - page 539 / 913 » Data Integration Using ID-Logic |
113
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
136
Voted
MHCI
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a method for detecting physical shock by a mobile phone and its applications in security and emergency scenarios. We use acceleration signal provided by ...
145
click to vote
LAWEB
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
DILS
2007
Springer
15 years 9 months ago
2007
Springer
This paper focuses on the problem of bioinformatics service reconciliation in a generic and scalable manner so as to enhance interoperability in a highly evolving field. Using XML...
118
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a modular and scalable approach for automatically extracting actual performance information from a set of FPGA-based architecture topologies. This information is used d...