Sciweavers

608 search results - page 49 / 122
» The Expressive Power of Simple Parallelism
Sort
View
104
Voted
CONCUR
1999
Springer
15 years 7 months ago
Statecharts Via Process Algebra
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
Gerald Lüttgen, Michael von der Beeck, Rance ...
154
Voted
CONCUR
2006
Springer
15 years 7 months ago
A New Type System for Deadlock-Free Processes
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
Naoki Kobayashi
122
Voted
EDO
2000
Springer
15 years 7 months ago
Architectural Reflection: Realising Software Architectures via Reflective Activities
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...
Francesco Tisato, Andrea Savigni, Walter Cazzola, ...
117
Voted
HLK
2003
IEEE
15 years 8 months ago
Symmetry-Based Photo Editing
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
Kun Huang, Wei Hong, Yi Ma
C5
2008
IEEE
15 years 10 months ago
Toward A More Scalable End-User Scripting Language
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...
Alessandro Warth, Takashi Yamamiya, Yoshiki Ohshim...