1888 search results - page 298 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
147
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
142
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
Securing access to files is an important and growing concern in corporate environments. Employees are increasingly accessing files from untrusted devices, including personal hom...
174
click to vote
MOBISYS
2009
ACM
16 years 5 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
114
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
123
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...