3837 search results - page 388 / 768 » Concurrent Engineering support in Software Engineering |
158
click to vote
AC
1998
Springer
15 years 4 months ago
1998
Springer
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of “coordination”. The purpos...
149
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
135
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
139
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
The wavelet transform is a very popular tool in engineering for signal analysis. With respect to image compression, the new JPEG 2000 image standard incorporates wavelet transform...
157
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...