FASE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
EDBTW
2010
Springer
13 years 11 months ago
2010
Springer
The capability of correlating streaming web data with internal data in near real time gives enterprises a tremendous competitive advantage by enabling them to be aware of external...
EDBTW
2010
Springer
13 years 11 months ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
EDBTW
2010
Springer
13 years 11 months ago
2010
Springer
EDBTW
2010
Springer
13 years 11 months ago
2010
Springer
Business Intelligence (BI) applications allow their users to query, understand, and analyze existing data within their organizations in order to acquire useful knowledge, thus mak...
EDBTW
2010
Springer
13 years 11 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
CISIS
2010
IEEE
13 years 11 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
CISIS
2010
IEEE
13 years 11 months ago
2010
IEEE
AGILEDC
2009
IEEE
13 years 11 months ago
2009
IEEE
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...