Sciweavers

3061 search results - page 385 / 613
» interactions 2010
Sort
View
SIGCSE
2010
ACM
166views Education» more  SIGCSE 2010»
15 years 6 months ago
Introducing concurrency in CS 1
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P....
164
Voted
ICECCS
2010
IEEE
188views Hardware» more  ICECCS 2010»
15 years 6 months ago
A Transactional Architecture for Simulation
Abstract—We are developing a concurrent, agent-based approach to complex systems simulation as part of the CoSMoS project. In such simulations an agent’s behaviour can typicall...
Tim Hoverd, Adam T. Sampson
GG
2010
Springer
15 years 6 months ago
Verification of Graph Transformation Systems with Context-Free Specifications
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
Barbara König, Javier Esparza
158
Voted
AI
2010
Springer
15 years 6 months ago
A logic of delegation
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
Timothy J. Norman, Chris Reed
CG
2010
Springer
15 years 6 months ago
A cellular model for spatial population dynamics
Interacting populations exhibit complex behavior in nature. Classic quadratic iteration models with two or three populations exhibit some of the features seen in nature, but fail ...
Chu Yue (Stella) Dong, James T. Long, Clifford A. ...