4469 search results - page 824 / 894 » A Language for Role Specifications |
153
click to vote
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
168
click to vote
SASO
2008
IEEE
16 years 10 days ago
2008
IEEE
Currently, cycle sharing over the Internet is a one-way deal. Computer owners only have one role in the process: to donate their computers’ idle time. This is due to the fact th...
160
click to vote
ER
2007
Springer
16 years 3 days ago
2007
Springer
The tutorial first addresses requirements and semantic problems to integrate digital information into large scale, meaningful networks of knowledge that support not only access to...
144
click to vote
NSPW
2006
ACM
15 years 12 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
159
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
Genetic Studies examine relationships between genetic variation and disease development. Pharmacogenetics studies the responses to drugs against genetic variation. These two lines ...