7961 search results - page 169 / 1593 » Input-Output Model Programs |
200
click to vote
IHI
2012
13 years 11 months ago
2012
Regulations and policies regarding Electronic Health Information (EHI) are increasingly complex. Federal and State policy makers have called for both education to increase stakeho...
159
Voted
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
153
click to vote
ESOP
2010
Springer
16 years 20 days ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
202
Voted
SAIG
2001
Springer
15 years 7 months ago
2001
Springer
A characteristic of aspect-oriented programming, as embodied in AspectJ, is the use of advice to incrementally modify the behavior of a program. An advice declaration specifies a...
139
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...