3081 search results - page 166 / 617 » A Formal Ontology of Properties |
172
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
182
click to vote
APSEC
2005
IEEE
16 years 2 days ago
2005
IEEE
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
153
click to vote
ICDCS
2005
IEEE
16 years 2 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
161
click to vote
ATAL
2005
Springer
16 years 3 hour ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
154
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...