1585 search results - page 115 / 317 » A framework for computer-aided validation |
119
Voted
WRAC
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we argue that self-modifying code can become a better strategy for realizing long-lived autonomous software systems than static code, regardless how well it was valid...
124
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
123
click to vote
EUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this article we identify the general communication patterns of physical devices and define all interfaces and conflict resolution strategies that are present in any ...
121
Voted
GCC
2003
Springer
15 years 8 months ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
149
click to vote
ICCBSS
2003
Springer
15 years 8 months ago
2003
Springer
Among the main activities involved in COTS-based development there are identification, evaluation, and selection of COTS products. Several techniques have been developed for these ...