409 search results - page 11 / 82 » A Graphically Based Language for Constructing, Executing and... |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
BMCBI
2008
13 years 7 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
IFL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
VMCAI
2004
Springer
14 years 25 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...