795 search results - page 56 / 159 » A Formal Approach to Heterogeneous Software Modeling |
89
Voted
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
96
Voted
EUROMICRO
2005
IEEE
15 years 6 months ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
120
Voted
CASES
2007
ACM
15 years 4 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
101
Voted
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
112
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
—Although IP Multicast is an effective network primitive for best-effort, large-scale, multi-point communication, many multicast applications such as shared whiteboards, multi-pl...