1894 search results - page 318 / 379 » A TLA Proof System |
133
Voted
PETRA
2009
ACM
15 years 10 months 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...
124
Voted
CSFW
2008
IEEE
15 years 10 months 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...
138
Voted
CSFW
2008
IEEE
15 years 10 months 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...
126
Voted
DATE
2008
IEEE
15 years 10 months 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 ...
131
Voted
ICALT
2008
IEEE
15 years 10 months 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...