4564 search results - page 539 / 913 » Data Integration Using ID-Logic |
151
click to vote
FM
2009
Springer
16 years 1 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...
177
click to vote
MHCI
2009
Springer
16 years 1 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 ...
187
Voted
LAWEB
2007
IEEE
16 years 1 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 ...
161
click to vote
DILS
2007
Springer
16 years 28 days 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...
175
click to vote
DATE
2006
IEEE
16 years 24 days 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...