2838 search results - page 290 / 568 » Verifying Controlled Components |
203
click to vote
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
165
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
192
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
190
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
157
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...