Sciweavers

5630 search results - page 192 / 1126
» Computability in Specification
Sort
View
ICDE
2009
IEEE
129views Database» more  ICDE 2009»
16 years 6 months ago
Evaluating TOP-K Queries over Business Processes
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specifica...
Daniel Deutch, Tova Milo
136
Voted
FORTE
2004
15 years 6 months ago
Generation of Integration Tests for Self-Testing Components
Internet software tightly integrates classic computation with communication software. Heterogeneity and complexity can be tackled with a component-based approach, where components ...
Leonardo Mariani, Mauro Pezzè, David Willmo...
DOA
2000
169views more  DOA 2000»
15 years 6 months ago
DOORS: Towards High-Performance Fault Tolerant CORBA
An increasing number of applications are being developed using distributed object computing middleware, such as CORBA. Many of these applications require the underlying middleware...
Balachandran Natarajan, Aniruddha S. Gokhale, Shal...
AAAI
2000
15 years 6 months ago
Unsupervised Learning and Interactive Jazz/Blues Improvisation
We present a new domain for unsupervised learning: automatically customizing the computer to a specific melodic performer by merely listening to them improvise. We also describe B...
Belinda Thom
ISSS
1999
IEEE
157views Hardware» more  ISSS 1999»
15 years 9 months ago
Bit-Width Selection for Data-Path Implementations
Specifications of data computations may not necessarily describe the ranges of the intermediate results that can be generated. However, such information is critical to determine t...
Carlos Carreras, Juan A. López, Octavio Nie...