1356 search results - page 187 / 272 » The ideal of verified software |
153
click to vote
RE
2007
Springer
16 years 12 days ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
179
click to vote
APSEC
2006
IEEE
16 years 11 days ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
144
click to vote
ERLANG
2006
ACM
16 years 8 days ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
149
click to vote
PPOPP
2006
ACM
16 years 7 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
148
click to vote
CODES
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes the design of a low-cost, low-power smart imaging core that can be embedded in cameras. The core integrates an ARM 9 processor, a camera interface and two spe...