Sciweavers

2984 search results - page 218 / 597
» Method engineering process patterns
Sort
View
BMCBI
2010
240views more  BMCBI 2010»
13 years 9 months ago
TAM: A method for enrichment and depletion analysis of a microRNA category in a list of microRNAs
Background: MicroRNAs (miRNAs) are a class of important gene regulators. The number of identified miRNAs has been increasing dramatically in recent years. An emerging major challe...
Ming Lu, Bing Shi, Juan Wang, Qun Cao, Qinghua Cui
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
14 years 1 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
PVLDB
2010
166views more  PVLDB 2010»
13 years 8 months ago
Complex Event Detection at Wire Speed with FPGAs
Complex event detection is an advanced form of data stream processing where the stream(s) are scrutinized to identify given event patterns. The challenge for many complex event pr...
Louis Woods, Jens Teubner, Gustavo Alonso
KBSE
2008
IEEE
14 years 4 months ago
How Program History Can Improve Code Completion
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
Romain Robbes, Michele Lanza
SIGIR
2003
ACM
14 years 2 months ago
Distributed Web Search as a Stochastic Game
Distributed search systems are an emerging phenomenon in Web search, in which independent topic-speciļ¬c search engines provide search services, and metasearchers distribute userā...
Rinat Khoussainov, Nicholas Kushmerick