Sciweavers

3030 search results - page 342 / 606
» A SOA-Based Architecture Framework
Sort
View
UML
2005
Springer
16 years 5 days ago
Integrated Model-Based Software Development, Data Access, and Data Migration
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...
IPPS
2003
IEEE
15 years 12 months ago
PROSIDIS: A Special Purpose Processor for PROtein SImilarity DIScovery
This work presents the architecture of PROSIDIS, a special purpose processor designed to search for the occurrence of substrings similar to a given ‘template string’ within a ...
Alessandro Marongiu, Paolo Palazzari, Vittorio Ros...
155
Voted
HICSS
2002
IEEE
115views Biometrics» more  HICSS 2002»
15 years 11 months ago
Achieving Software Flexibility via Intelligent Workflow Techniques
In this paper, we investigate innovative techniques of achieving software flexibility in a workflow environment. We believe that by incorporating workflow technology and intellige...
Daniel Dajun Zeng, J. Leon Zhao
195
Voted
TPHOL
2000
IEEE
15 years 11 months ago
Fast Tactic-Based Theorem Proving
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
Jason Hickey, Aleksey Nogin
SIGMOD
1999
ACM
101views Database» more  SIGMOD 1999»
15 years 11 months ago
Computing Capabilities of Mediators
Existing data-integration systems based on the mediation architecture employ a variety of mechanisms to describe the query-processing capabilities ofsources. However, these system...
Ramana Yerneni, Chen Li, Hector Garcia-Molina, Jef...