Sciweavers

3040 search results - page 131 / 608
» Synergetic Tool Environments
Sort
View
WMTE
2005
IEEE
15 years 3 months ago
Developing Interactive Logbook: A Personal Learning Environment
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
Tony Chan, Dan Corlett, Mike Sharples, Jeffrey Tin...
EUROPAR
2005
Springer
15 years 3 months ago
INSEE: An Interconnection Network Simulation and Evaluation Environment
In this paper we introduce INSEE, an environment to help in the design of interconnection networks for parallel computing systems. It contains two basic modules: a system to genera...
Francisco Javier Ridruejo Perez, José Migue...
ICCSA
2004
Springer
15 years 3 months ago
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
Ana I. Molina, Miguel A. Redondo, Manuel Ortega
CADE
1998
Springer
15 years 2 months ago
A Proof Environment for the Development of Group Communication Systems
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
Christoph Kreitz, Mark Hayden, Jason Hickey
APNOMS
2006
Springer
15 years 1 months ago
Proposal of Operation Method for Application Servers on NGN Using Unified Management Environment
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
Atsushi Yoshida, Yu Miyoshi, Yoshihiro Otsuka