8627 search results - page 1539 / 1726 » Software Engineering Using RATionale |
166
click to vote
COMSWARE
2006
IEEE
16 years 18 days ago
2006
IEEE
—Most of the contemporary research in wireless networks is primarily based on simulations or in-house small scale experimental setups that are highly customized for the experimen...
181
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
148
click to vote
DRM
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present our experiences concerning the enforcement of access rights extracted from ODRL-based digital contracts. We introduce the generalized Contract Schema (Co...
169
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
199
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...