6953 search results - page 1015 / 1391 » Development Tools for Distributed Applications |
188
click to vote
IFM
2004
Springer
16 years 5 days 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...
181
click to vote
TES
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
193
click to vote
GROUP
2003
ACM
16 years 1 days ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
194
click to vote
SOFTVIS
2003
ACM
16 years 1 days ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
152
click to vote
GCC
2003
Springer
16 years 10 hour ago
2003
Springer
We developed a SMIL-based collaborative multimedia authoring tool supporting a mechanism for conceptually representing the temporal relations between different media. Among the ma...