Sciweavers

3030 search results - page 342 / 606
» A SOA-Based Architecture Framework
Sort
View
UML
2005
Springer
16 years 23 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
16 years 17 days 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...
HICSS
2002
IEEE
115views Biometrics» more  HICSS 2002»
16 years 7 days 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
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...