Sciweavers

3868 search results - page 20 / 774
» Open Systems in TLA
Sort
View
IPPS
2005
IEEE
15 years 7 months ago
The Design of the OpenSTARS Adaptive Analyzer for Real-Time Distributed Systems
This paper describes the design of the OpenSTARS real-time analysis tool. The paper focuses on criteria for a good analysis tool including correctness, performance/scalability, fl...
Kevin Bryan, Tiegeng Ren, Jiangyin Zhang, Lisa Cin...
AAMAS
2002
Springer
15 years 1 months ago
Multiagent Learning for Open Systems: A Study in Opponent Classification
Abstract. Open systems are becoming increasingly important in a variety of distributed, networked computer applications. Their characteristics, such as agent diversity, heterogenei...
Michael Rovatsos, Gerhard Weiß, Marco Wolf
FECS
2009
164views Education» more  FECS 2009»
14 years 11 months ago
Development of a System for Teaching C/C++ Using Robots and Open Source Software in a CS1 Course
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
Amy Delman, Lawrence Goetz, Yedidyah Langsam, Theo...
113
Voted
PDP
2003
IEEE
15 years 7 months ago
CYCLADES: A Distributed System for Virtual Community Support Based on Open Archives
This paper is about support for the exchange of information and knowledge among researchers. We introduce the concepts of open archives and grey literature, which provide valuable...
Tom Gross
SASO
2010
IEEE
14 years 11 months ago
Self-Adaptive Resource Allocation in Open Distributed Systems
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
Xinghui Zhao, Nadeem Jamali