199 search results - page 20 / 40 » End User Programming for Scientists: Modeling Complex System... |
SSD
2009
Springer
14 years 3 months ago
2009
Springer
The standard database mechanisms for concurrency control, which include transactions and locking protocols, do not provide the support needed for updating complex geographic data i...
CD
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
KBSE
1998
IEEE
14 years 26 days ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
BMCBI
2005
13 years 8 months ago
2005
Background -: Sequencing of EST and BAC end datasets is no longer limited to large research groups. Drops in per-base pricing have made high throughput sequencing accessible to in...