Sciweavers

60 search results - page 12 / 12
» The expressive power of the shuffle product
Sort
View
ISORC
2000
IEEE
13 years 8 months ago
A Vision of the Future for the Air Force (and Perhaps the Whole DoD)
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
Thomas F. Saunders
ATVA
2006
Springer
162views Hardware» more  ATVA 2006»
13 years 8 months ago
Predicate Abstraction of Programs with Non-linear Computation
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
Songtao Xia, Ben Di Vito, César Muño...
BPSC
2007
171views Business» more  BPSC 2007»
13 years 5 months ago
XML Databases: Principles and Usage
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
Jaroslav Pokorný
BMCBI
2010
152views more  BMCBI 2010»
13 years 4 months ago
Comparative study of three commonly used continuous deterministic methods for modeling gene regulation networks
Background: A gene-regulatory network (GRN) refers to DNA segments that interact through their RNA and protein products and thereby govern the rates at which genes are transcribed...
Martin T. Swain, Johannes J. Mandel, Werner Dubitz...
OOPSLA
2010
Springer
13 years 2 months ago
The Spoofax language workbench
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...
Lennart C. L. Kats, Eelco Visser