1661 search results - page 250 / 333 » Real-time specification patterns |
117
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
113
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Contextual text mining is concerned with extracting topical themes from a text collection with context information (e.g., time and location) and comparing/analyzing the variations...
170
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
191
click to vote
POPL
2004
ACM
16 years 1 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
111
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Our group has recently developed a compact, universal protein binding microarray (PBM) that can be used to determine the binding preferences of transcription factors (TFs) [1]. Thi...