3555 search results - page 44 / 711 » Security-Critical System Development with Extended Use Cases |
108
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
HASE
2002
IEEE
15 years 6 months ago
2002
IEEE
Web services might be the most popular and powerful software development technology in today’s software world. Yet it brings software developers and tester a lot of challenges a...
198
click to vote
PARA
2004
Springer
15 years 6 months ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
JWE
2007
15 years 1 months ago
2007
Abstract. This paper proposes a framework for enabling the usage of Hypermedia services by web developers, and studies the working progress that provides Hypermedia services to the...
114
click to vote
ENTCS
2002
15 years 1 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...