4348 search results - page 235 / 870 » Using UML for Modeling Complex Real-Time Systems |
168
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...
158
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
d Abstract] Christoph Lenzen Computer Engineering and Networks Laboratory (TIK) ETH Zurich, 8092 Zurich, Switzerland lenzen@tik.ee.ethz.ch Thomas Locher Computer Engineering and N...
173
click to vote
SI3D
2006
ACM
16 years 12 days ago
2006
ACM
The ability to represent non-height-field mesostructure details is of great importance for rendering complex surface patterns, such as weave and multilayer structures. Currently,...
181
click to vote
JCP
2008
15 years 6 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
192
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...