346 search results - page 45 / 70 » Developing Morphological Building Blocks: From Design to Imp... |
ENTCS
2007
13 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
ANSS
2002
IEEE
14 years 17 days ago
2002
IEEE
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
DSOM
1999
Springer
13 years 12 months ago
1999
Springer
: Solutions in the network and service management layers of telecommunications management architectures are currently fragmented both in terms of standards and products. It is ofte...
PPOPP
2003
ACM
14 years 25 days ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
VTC
2008
IEEE
14 years 2 months ago
2008
IEEE
—The European satellite navigation system Galileo is a highly promising technology with communication capabilities providing an enhanced Search-and-Rescue (SAR) service in combin...