3384 search results - page 237 / 677 » More Testable Properties |
184
click to vote
APSEC
2005
IEEE
16 years 6 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
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper presents a scheme to combine memory and power management for achieving better energy reduction. Our method periodically adjusts the size of physical memory and the time...
159
click to vote
ESCIENCE
2005
IEEE
16 years 6 days ago
2005
IEEE
The majority of current security architectures for grid systems use public key infrastructure (PKI) to authenticate identities of grid members and to secure resource allocation to...
178
click to vote
ISIPTA
2005
IEEE
16 years 5 days ago
2005
IEEE
A new model for learning from multinomial data has recently been developed, giving predictive inferences in the form of lower and upper probabilities for a future observation. Apa...
166
click to vote
ITCC
2005
IEEE
16 years 5 days ago
2005
IEEE
As a general design criterion, a symmetric key cipher should not be closed under functional composition due to the implications on the security of the cipher. However, there are s...