7080 search results - page 465 / 1416 » Designing High Integrity Systems Using Aspects |
153
click to vote
ECMDAFA
2007
Springer
15 years 11 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
134
click to vote
ICML
2010
IEEE
15 years 5 months ago
2010
IEEE
Local Coordinate Coding (LCC), introduced in (Yu et al., 2009), is a high dimensional nonlinear learning method that explicitly takes advantage of the geometric structure of the d...
142
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Much research in multi-agent systems reflects the field’s origins in classical artificial intelligence, showing how various refinements to the internal reasoning of individual a...
125
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
As CMOS technology continues its monotonic shrink, computing with quantum dots remains a goal in nanotechnology research. Quantum-dot cellular automata (QCA) is a paradigm for low...
132
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information within a real sensor-based navigation system. The contribution...