Sciweavers

2657 search results - page 212 / 532
» On the complexity of hierarchical problem solving
Sort
View
103
Voted
SSS
2007
Springer
106views Control Systems» more  SSS 2007»
15 years 8 months ago
On the Performance of Dijkstra's Third Self-stabilizing Algorithm for Mutual Exclusion
In [Dij74] Dijkstra introduced the notion of self-stabilizing algorithms, and presented three such algorithms for the problem of mutual exclusion on a ring of processors. The thir...
Viacheslav Chernoy, Mordechai Shalom, Shmuel Zaks
WDAG
1998
Springer
123views Algorithms» more  WDAG 1998»
15 years 6 months ago
Propagation and Leader Election in a Multihop Broadcast Environment
The paper addresses the problemof solving classic distributed algorithmic problems under the practical model of Broadcast Communication Networks. Our main result is a new Leader El...
Israel Cidon, Osnat Mokryn
ENTCS
2007
119views more  ENTCS 2007»
15 years 1 months ago
PML: Toward a High-Level Formal Language for Biological Systems
Documentation of knowledge about biological pathways is often informal and vague, making it difficult to efficiently synthesize the work of others into a holistic understanding of...
Bor-Yuh Evan Chang, Manu Sridharan
ASE
1998
89views more  ASE 1998»
15 years 1 months ago
Extending Design Environments to Software Architecture Design
Designing a complex software system is a cognitivelychallengingtask; thus, designers need cognitive support to create good designs. Domain-oriented design environments are cooperat...
Jason E. Robbins, David M. Hilbert, David F. Redmi...
CHI
2005
ACM
16 years 2 months ago
Blind learners programming through audio
The development of programming skills is a motivating issue in computer science. Programming languages have been increasingly used to map end-users needs and mental models. The nu...
Jaime Sánchez, Fernando Aguayo