Sciweavers

2597 search results - page 343 / 520
» A Relational Approach to Support Software Architecture Analy...
Sort
View
ISDO
2000
145views Business» more  ISDO 2000»
15 years 7 months ago
Business Contracts for B2B
This paper presents an approach for the specification and implementation of business contracts needed for Business-to-Business (B2B) services. We first examine typical elements of...
Andrew Goodchild, Charles Herring, Zoran Milosevic
JDCTA
2010
176views more  JDCTA 2010»
15 years 1 months ago
A Context-Aware Framework using Ontology for Smart Phone Platform
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
Yun Her, Su-Kyoung Kim, YoungTaek Jin
BMCBI
2008
226views more  BMCBI 2008»
15 years 6 months ago
ProteoLens: a visual analytic tool for multi-scale database-driven biological network data mining
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
Tianxiao Huan, Andrey Y. Sivachenko, Scott H. Harr...
IUI
2009
ACM
16 years 3 months ago
Data-driven exploration of musical chord sequences
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
Eric Nichols, Dan Morris, Sumit Basu
DAC
2000
ACM
16 years 7 months ago
To split or to conjoin: the question in image computation
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio So...