9018 search results - page 1283 / 1804 » 3D-Brain Model Software |
176
click to vote
FSTTCS
2004
Springer
16 years 13 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
189
click to vote
FSTTCS
2004
Springer
16 years 13 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
179
click to vote
ICCSA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...
196
click to vote
ICESS
2004
Springer
16 years 12 days ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
178
click to vote
SEKE
2004
Springer
16 years 12 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...