1054 search results - page 183 / 211 » From a Verified Kernel towards Verified Systems |
USS
2010
14 years 9 months ago
2010
On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for mayor and city council members using the ScantegrityII voting system--the first time any end-to-end (e2e) vo...
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Some web sites provide interactive extensions using browser scripts, often without inspecting the scripts to verify that they are benign and bug-free. Others handle usersā conļ¬...
195
click to vote
ICDT
2009
ACM
16 years 15 days ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...
193
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
104
click to vote
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
ā Since family members have their unique features when living in a smart home environment, user identiļ¬cations are able to achieve without any tags. In this paper, we propose T...