3384 search results - page 104 / 677 » More Testable Properties |
ICSE
2004
IEEE-ACM
14 years 2 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
ACSD
2003
IEEE
14 years 2 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
ACISP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. At present, network users have to manage one set of authentication credentials (usually a username/password pair) for every service with which they are registered. Single...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
—The development and deployment of distributed network-aware applications and services require the ability to compile and maintain a model of the underlying network resources wit...
ICPR
2010
IEEE
14 years 1 months ago
2010
IEEE
Covariance matrices have recently been a popular choice for versatile tasks like recognition and tracking due to their powerful properties as local descriptor and their low comput...