10159 search results - page 407 / 2032 » System Design Validation Using Formal Models |
141
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
125
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
137
click to vote
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
148
click to vote
CIKM
2003
Springer
15 years 9 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
164
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Research in high-speed interconnect requires physical test to validate circuit models and design assumptions. At multi-Gbit/sec rates, physical implementations require custom circ...