Sciweavers

15840 search results - page 2549 / 3168
» The Control of Synchronous Systems
Sort
View
MKM
2005
Springer
16 years 28 days ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
NIME
2005
Springer
215views Music» more  NIME 2005»
16 years 28 days ago
GoingPublik: Using Realtime Global Score Synthesis
This paper takes the reader through various elements of the GoingPublik sound artwork for distributive ensemble and introduces the Realtime Score Synthesis tool (RSS) used as a co...
Arthur Clay, Thomas M. Frey, Jürg Gutknecht
PDCAT
2005
Springer
16 years 28 days ago
Collaborative MPEG-4 Contents Authoring, Presentation and Interaction in a Mobile Environment
Recent advances in wireless technology and availability of portable devices with networking capabilities made the increasing hot topic, ubiquitous computing become reality. Also, ...
SongLu Li, Sangwook Kim, Sunkyung Kim
SEKE
2005
Springer
16 years 28 days ago
Using Ontologies to Add Semantics to a Software Engineering Environment
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodr...
SSS
2005
Springer
16 years 28 days ago
A Snap-Stabilizing DFS with a Lower Space Requirement
Abstract. A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [4], we presented the first snap-stab...
Alain Cournier, Stéphane Devismes, Vincent ...
« Prev « First page 2549 / 3168 Last » Next »