7380 search results - page 1088 / 1476 » Engineering Software Intensive Systems |
170
Voted
FSTTCS
2004
Springer
16 years 7 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...
179
Voted
FSTTCS
2004
Springer
16 years 7 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...
208
click to vote
ICESS
2004
Springer
16 years 7 days 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...
180
Voted
CODES
2002
IEEE
15 years 12 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...
168
Voted
EUROMICRO
2002
IEEE
15 years 11 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...