2514 search results - page 72 / 503 » The use of industrial-strength formal methods |
162
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
152
click to vote
USAB
2007
15 years 7 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
196
click to vote
TPHOL
2009
IEEE
16 years 25 days ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
150
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
140
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Empirical studies of information retrieval methods show that good retrieval performance is closely related to the use of various retrieval heuristics, such as TF-IDF weighting. On...