893 search results - page 51 / 179 » Modeling reactive systems in Java |
102
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
This thesis addresses the problem of source quality changes in Data Integration Systems. Its main goal is to propose techniques for maintaining as much as possible the satisfaction...
165
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
170
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
137
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
138
click to vote
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...