1356 search results - page 54 / 272 » The ideal of verified software |
EWSA
2006
Springer
15 years 3 months ago
2006
Springer
Assembling software components into an architecture is a difficult task because of its combinatorial complexity. There is thus a need for automating this building process, either t...
112
click to vote
CASES
2001
ACM
15 years 3 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
105
click to vote
KES
2000
Springer
15 years 3 months ago
2000
Springer
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
Replications play an important role in verifying empirical results. In this paper, we discuss our experiences performing a literal replication of a human subjects experiment that ...
SCAM
2007
IEEE
15 years 6 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...