955 search results - page 140 / 191 » An XML Based Framework for Enterprise Application Integratio... |
158
click to vote
IFM
2004
Springer
15 years 11 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...
171
click to vote
BXML
2004
15 years 7 months ago
2004
: If Topic Maps should be exchanged in distributed environments a common semantic problem occurs: Do two Topics refer to the same Subject? If they describe the same Subject the giv...
145
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
179
click to vote
WOA
2007
15 years 7 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
151
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...