Sciweavers

654 search results - page 74 / 131
» Effective Tool Support for Architectural Knowledge Sharing
Sort
View
SIGSOFT
2003
ACM
14 years 9 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
SIGMOD
2012
ACM
230views Database» more  SIGMOD 2012»
11 years 11 months ago
Pay-as-you-go data integration for linked data: opportunities, challenges and architectures
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
Norman W. Paton, Klitos Christodoulou, Alvaro A. A...
FLAIRS
2004
13 years 10 months ago
Case-Based Reasoning in Support of Intelligence Analysis
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
Elizabeth T. Whitaker, Robert L. Simpson Jr.
CF
2007
ACM
14 years 1 months ago
Massively parallel processing on a chip
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
Philippe Marquet, Simon Duquennoy, Sébastie...
VLDB
2007
ACM
226views Database» more  VLDB 2007»
14 years 9 months ago
SciPort: An Adaptable Scientific Data Integration Platform for Collaborative Scientific Research
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...
Fusheng Wang, Pierre-Emmanuel Bourgue, Georg Hacke...