1886 search results - page 299 / 378 » Modeling and Enacting Software Processes Using VRPML |
161
click to vote
SC
2009
ACM
15 years 10 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
163
click to vote
FMICS
2007
Springer
16 years 10 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
198
click to vote
FDL
2006
IEEE
16 years 7 days ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
154
click to vote
ICESS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
159
click to vote
ICWE
2005
Springer
15 years 11 months ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...