7890 search results - page 437 / 1578 » The MathSAT 3 System |
162
click to vote
COMCOM
2007
15 years 6 months ago
2007
Distributed Virtual Environment (DVE) systems have been designed last years as a set of distributed servers. These systems allow a large number of remote users to share a single 3...
173
click to vote
JNW
2006
15 years 6 months ago
2006
Despite the increased focus on security, critical information systems remain vulnerable to cyber attacks. The trend lends importance to the concept of intrusion tolerance: there is...
177
click to vote
SAC
2006
ACM
15 years 6 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 ...
189
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
148
click to vote
FOCM
2010
15 years 5 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...