3745 search results - page 285 / 749 » Sonic: System Description |
189
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
192
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
175
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—The current trends in service consolidation over Internet Protocol (IP) also stimulates the integration of the industrial automation system with the information technology (IT) ...
188
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
185
Voted
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Current Driver Assistance Systems merely use a minimum set of information. By using additional information of the environment hazardous situations can be detected earlier, more re...