8083 search results - page 1426 / 1617 » A Formalization of Software Architecture |
181
click to vote
SAC
2005
ACM
16 years 4 days ago
2005
ACM
Regression test prioritization techniques re-order the execution of a test suite in an attempt to ensure that defects are revealed earlier in the test execution phase. In prior wo...
193
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
168
click to vote
SPIN
2005
Springer
16 years 1 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
169
click to vote
INTELLCOMM
2004
Springer
15 years 12 months ago
2004
Springer
Web prefetching techniques have pointed to be especially important to reduce web latencies and, consequently, an important set of works can be found in the open literature. But, in...
176
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— The term Virtual Private Network (VPN) encompasses a wide array of diverse technologies and network architectures. All VPNs should provide users with the isolation and ...