Sciweavers

2607 search results - page 105 / 522
» On the Architecture of System Verification Environments
Sort
View
ENTCS
2010
82views more  ENTCS 2010»
15 years 6 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...
ICALT
2005
IEEE
15 years 12 months ago
A Role-Based Approach to Group Support in a Collaborative Learning Environment
This article describes preliminary work on a research environment called Virtus that is a web-based learning system tailored to enhance group working and collaborative learning. W...
Henri Eberspächer, Michelle Joab
DEXAW
2004
IEEE
124views Database» more  DEXAW 2004»
15 years 10 months ago
PAC-MEN: Personal Autonomic Computing Monitoring Environment
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
Roy Sterritt, David F. Bantz
ICCS
2003
Springer
15 years 11 months ago
Automating Metadata Web Service Deployment for Problem Solving Environments
XML-based metadata information services are a crucial core service needed by Problem Solving Environments built over emerging service-based, globally-scaled distributed systems, a...
Ozgur Balsoy, Ying Jin, Galip Aydin, Marlon E. Pie...
NETGAMES
2004
ACM
15 years 11 months ago
Scalable peer-to-peer networked virtual environment
We propose a fully-distributed peer-to-peer architecture to solve the scalability problem of Networked Virtual Environment in a simple and efficient manner. Our method exploits lo...
Shun-Yun Hu, Guan-Ming Liao