3902 search results - page 301 / 781 » Hardware Synthesis from C C Models |
161
click to vote
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
167
click to vote
NCA
2005
IEEE
16 years 7 days ago
2005
IEEE
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purp...
200
click to vote
PEWASUN
2004
ACM
16 years 3 days ago
2004
ACM
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
195
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
184
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
The only known construction of identity-based signatures that can be proven secure in the standard model is based on the approach of attaching certificates to non-identity-based si...