11561 search results - page 225 / 2313 » A Language for Biochemical Systems |
164
click to vote
CASSIS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
206
click to vote
LCPC
2005
Springer
16 years 4 days ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
172
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
168
click to vote
DGO
2003
15 years 8 months ago
2003
Federal agencies implement laws passed by the Congress by creating rules and regulations that can be applied in practice. During this process, staffs at the various agencies may r...
153
click to vote
ACL
2009
15 years 4 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...