3040 search results - page 48 / 608 » Synergetic Tool Environments |
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes the implementation of a collaboration tool for learning groups. The tool is embedded in an e- and m-learning environment at the University of Regensburg which...
ENTCS
2008
13 years 9 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
DBVIS
1995
14 years 13 days ago
1995
Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...