1809 search results - page 103 / 362 » Software Model Checking Using Linear Constraints |
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
ADVIS
2006
Springer
14 years 3 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
DAGM
2006
Springer
14 years 24 days ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...
ECCV
2004
Springer
14 years 11 months ago
2004
Springer
Photometric stereo algorithms use a Lambertian reflectance model with a varying albedo field and involve the appearances of only one object. This paper extends photometric stereo a...