12333 search results - page 522 / 2467 » System Level Modelling for Hardware Software Systems |
204
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
185
click to vote
PROMS
2001
Springer
15 years 11 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
170
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
133
click to vote
WOA
2003
15 years 8 months ago
2003
— The Immune System (IS) constitutes the defence mechanism of higher level organisms to micro organismic threats: it is a real distributed system providing mechanisms of adaptati...
179
click to vote
IDMS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a system, called mTunnel, for application level tunneling of multicast trac in a lightweight manner, where the end-user is responsible for deciding w...