Sciweavers

1451 search results - page 104 / 291
» Case Studies in Model Manipulation for Scientific Computing
Sort
View
SAC
2009
ACM
15 years 9 months ago
Self-organized control of knowledge generation in pervasive computing systems
Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. These devices are able to generate ...
Gabriella Castelli, Ronaldo Menezes, Franco Zambon...
KR
2010
Springer
15 years 9 months ago
One Hundred Prisoners and a Lightbulb - Logic and Computation
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
Hans P. van Ditmarsch, Jan van Eijck, William Wu
BIRTHDAY
2009
Springer
15 years 8 months ago
Enhancing Tropos with Commitments
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
Pankaj R. Telang, Munindar P. Singh
SIGCSE
2009
ACM
183views Education» more  SIGCSE 2009»
15 years 11 months ago
Enhancing undergraduate education: a REU model for interdisciplinary research
This paper presents a successful model for undergraduate research where student participants work on interdisciplinary research projects; in our case, at the frontier between comp...
Daniela Stan Raicu, Jacob D. Furst
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 4 months ago
Bandwidth Modeling and Estimation in Peer to Peer Networks
Recent studies have shown that the majority of today's internet traffic is related to Peer to Peer (P2P) traffic. The study of bandwidth in P2P networks is very important. Bec...
Kiarash Mizanian, Mehdi Vasef, Morteza Analoui