Sciweavers

3868 search results - page 239 / 774
» Open Systems in TLA
Sort
View
DIGRA
2005
Springer
16 years 23 days ago
The Nip and the Bite
An examination of the contributions that can be made by the field of non-mechanistic cybernetics (as elaborated by Gregory Bateson and Anthony Wilden) to a theory of videogames th...
Darshana Jayemanne
CSMR
2006
IEEE
16 years 1 months ago
Software Bugs and Evolution: A Visual Approach to Uncover Their Relationship
Versioning systems such as CVS exhibit a large potential to investigate and understand the evolution of large software systems. Bug Reporting systems such as Bugzilla help to unde...
Marco D'Ambros, Michele Lanza
ACSD
2005
IEEE
121views Hardware» more  ACSD 2005»
16 years 26 days ago
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
16 years 26 days ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
AAMAS
2011
Springer
15 years 2 months ago
Multi-agent role allocation: issues, approaches, and multiple perspectives
In cooperative multi-agent systems, roles are used as a design concept when creating large systems, they are known to facilitate specialization of agents, and they can help to redu...
Adam Campbell, Annie S. Wu