1894 search results - page 318 / 379 » A TLA Proof System |
168
click to vote
PETRA
2009
ACM
16 years 17 days ago
2009
ACM
Due to the increasing elderly population, healthcare systems able to promote independent living are regarded as an emerging market. Despite the significant advances aiming to supp...
155
click to vote
CSFW
2008
IEEE
16 years 15 days ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...
164
click to vote
CSFW
2008
IEEE
16 years 15 days ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
160
click to vote
DATE
2008
IEEE
16 years 15 days ago
2008
IEEE
We propose an interleaved memory organization supporting multi-pattern parallel accesses in twodimensional (2D) addressing space. Our proposal targets computing systems with high ...
170
click to vote
ICALT
2008
IEEE
16 years 15 days ago
2008
IEEE
Nowadays the Internet users are from different ages and groups. Disabled people are a group of the Internet users. Some websites are especially created for these people. One group...