15635 search results - page 411 / 3127 » Modelling and Design of VAML |
179
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
161
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
There is considerable interest in computational methods to assist in the use of genetic polymorphism data for locating disease-related genes. Haplotypes, contiguous sets of correl...
141
click to vote
CAGD
2006
15 years 6 months ago
2006
ed/Indexed in: MathSci, INSPEC, Current Contents, Pascal, UnCover, Ei Compendex, Inside Conferences. This journal is part of ContentsDirect, the free alerting service which sends t...
168
click to vote
IJIEM
2007
15 years 6 months ago
2007
: A service contract typically specifies the service level, i.e., the quality parameters of the service to be performed. In addition to this static part, there is also the need to ...
223
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...