6201 search results - page 1082 / 1241 » Implementation of Axiomatic Language |
176
click to vote
MKWI
2008
15 years 8 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
153
click to vote
PEWASUN
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we present EDAT, a tool designed for the analysis of trace files from network simulations and experiments. The EDAT framework encapsulates analysis steps in extensib...
201
click to vote
MBEES
2007
15 years 8 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
161
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Research community on distributed systems, and in particular on peer-to-peer systems, needs tools for evaluating their own protocols and services, as well as against other protoco...
161
click to vote
SOCRATES
2008
15 years 8 months ago
2008
The present paper analyzes a learning experience run at University of Macerata, during a post degree course for in service teachers and mature students. The course was delivered e...