16218 search results - page 531 / 3244 » Standards |
204
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...
193
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
187
click to vote
FOSSACS
2006
Springer
15 years 11 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
208
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
179
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We report on the formal verification of the floating point unit used in the VAMP processor. The FPU is fully IEEE compliant, and supports denormals and exceptions in hardware. The ...