103 search results - page 11 / 21 » A Contract-based Approach to Designing Safe Systems |
135
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
137
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
169
click to vote
DAC
2008
ACM
15 years 6 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
124
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...
140
click to vote
SAC
2006
ACM
15 years 4 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...