7380 search results - page 1088 / 1476 » Engineering Software Intensive Systems |
132
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...
134
click to vote
FSTTCS
2004
Springer
15 years 10 months 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...
158
click to vote
ICESS
2004
Springer
15 years 10 months ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
147
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
123
click to vote
EUROMICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
TORRENT is an EU-Supported Framework 5 project that is showing how intelligent control and negotiation capabilities can be built into access networks so as to give the residential...