14360 search results - page 345 / 2872 » Time Modeling in MARTE |
ISPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, we have proposed a comprehensive agent-based e-commerce system. While UML formalized, it lacked details how basic functions – e.g. user request to purchase a given pro...
84
Voted
GLVLSI
2005
IEEE
15 years 6 months ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
135
click to vote
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
90
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
107
Voted
ASM
2005
ASM
15 years 6 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...