Sciweavers

2934 search results - page 192 / 587
» Universality in Multi-Agent Systems
Sort
View
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 10 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
AAAI
2007
15 years 8 months ago
Journal-Ranking.com: An Online Interactive Journal Ranking System
Journal-Ranking.com is perhaps the first online journal ranking system in the world which allows any individual to conduct citation analyses among more than 7000 academic journals...
Andrew Lim, Hong Ma, Qi Wen, Zhou Xu, Brenda Chean...
EOR
2010
87views more  EOR 2010»
15 years 6 months ago
Inventory systems with stochastic demand and supply: Properties and approximations
ic copy available at: http://ssrn.com/abstract=1115410 Inventory Systems with Stochastic Demand and Supply: Properties and Approximations Amanda J. Schmitt Center for Transportatio...
Amanda J. Schmitt, Lawrence V. Snyder, Zuo-Jun Max...
ICALT
2010
IEEE
15 years 5 months ago
The Design and Application of an Automatic Course Generation System for Large-Scale Education
—In China, the number of online learners who attend formal education has quadrupled in the last 5 years to 8.2 millions until the end of 2008. How can online teachers build and u...
Xiaohong Tan, Carsten Ullrich, Yan Wang, Ruimin Sh...
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
16 years 16 days ago
Systems Thinking and Information Literacy: Elements of a Knowledge Enabling Workplace Environment
Dynamic technology-driven circumstances fortify academic librarians’ reconsideration of their professional purposes, processes and relationships. In response, California Polytec...
Mary M. Somerville, Anita Mirijamdotter, Lydia Col...