4350 search results - page 331 / 870 » Case studies for contract-based systems |
170
click to vote
JDCTA
2008
15 years 6 months ago
2008
The international business environment of port logistics has changed drastically in the last few decades. The increase in international trade, advent of ultra-large vessels, chang...
210
click to vote
JSS
1998
15 years 6 months ago
1998
Most of the proposed concurrency control protocols for real-time database systems (RTDBS) are based on serializability theorem. Owing to the unique characteristics of real-time da...
211
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
197
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiq...
167
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...