4067 search results - page 409 / 814 » Programs for Applying Symmetries |
158
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
141
Voted
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
The dater equalities constitute a well-known tool which allows the description of Timed Event Graphs in the field of (max, +) algebra. This paper gives an equivalent model in the...
155
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
The quality of identifiers, the coding style and formatting are important aspects that influence program understandings and maintenance. This is confirmed by the presence of se...
165
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This p...
171
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...