1121 search results - page 77 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
115
click to vote
CAEPIA
2003
Springer
15 years 7 months ago
2003
Springer
We present a tool for solving and plotting train schedules which has been developed in collaboration with the National Network of Spanish Railways (RENFE). This tool transforms rai...
152
click to vote
ASM
2010
ASM
15 years 1 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
137
Voted
DSRT
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper introduces a Collaborative Virtual Environment (CVE) system over the Internet. A Virtual Reality Modeling Language (VRML) 97-based user interface is developed to permit...
112
Voted
CCGRID
2002
IEEE
15 years 6 months ago
2002
IEEE
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...