1980 search results - page 311 / 396 » Compositional Model Checking of Real Time Systems |
132
Voted
CASE
2011
14 years 2 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
143
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
146
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— For the multi-robot coverage problem deterministic deliberative as well as probabilistic approaches have been proposed. Whereas deterministic approaches usually provide...
128
Voted
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
149
Voted
BIOCOMP
2008
15 years 4 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...