3387 search results - page 109 / 678 » Model-Checking for Real-Time Systems |
147
Voted
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
101
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe MutualCast, a serverless peer-to-peer (P2P) multiparty real-time audio conferencing system. In MutualCast, the peers form a fully connected clique. During the conferen...
131
click to vote
PRDC
2005
IEEE
15 years 8 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
147
Voted
ICANN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
123
Voted
ICCSA
2004
Springer
15 years 8 months ago
2004
Springer
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...