20655 search results - page 3891 / 4131 » Exploring Software Systems |
133
click to vote
ICWE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
123
click to vote
IFM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
121
click to vote
IPSN
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
160
Voted
ISCIS
2004
Springer
15 years 7 months ago
2004
Springer
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
126
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...