2838 search results - page 165 / 568 » Verifying Controlled Components |
88
Voted
ICDCSW
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
110
click to vote
CSMR
1998
IEEE
15 years 5 months ago
1998
IEEE
Secure distributed applications often include code to authenticate users, verify access rights, and establish secure communication channels between software components (e.g., clie...
151
Voted
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
Abstract -- Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for du...
101
Voted
CP
2008
Springer
15 years 2 months ago
2008
Springer
Decomposition is a powerful technique for reducing the size of a backtracking search tree. However, when solving constraint optimization problems (COP's) the standard techniqu...
KIC
2000
15 years 2 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...