302 search results - page 10 / 61 » An approach to synthesise safe systems |
ENTCS
2007
15 years 9 days ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
194
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor, for reasons of safety and reduction in software engineering...
100
click to vote
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
148
Voted
IHI
2010
14 years 7 months ago
2010
Regulations in various countries permit the reuse of health information without patient authorization provided the data is "de-identified". In the United States, for ins...
120
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...