923 search results - page 39 / 185 » Proving the value of formal methods |
133
click to vote
ADT
2010
15 years 6 months ago
2010
: In the era of mobile and wireless networks, the growing complexity of end devices and the accentuated tendency towards miniaturization of them raise new security challenges. Auth...
241
click to vote
ISEMANTICS
2010
15 years 27 days ago
2010
With the advent of Web 2.0 and the emergence of improved technologies to enhance UI, the importance of user experience and intuitiveness of Web interfaces led to the growth and su...
143
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
174
click to vote
ICCS
2009
Springer
16 years 19 days ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
126
Voted
AIPS
1998
15 years 7 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...