608 search results - page 49 / 122 » The Expressive Power of Simple Parallelism |
CONCUR
1999
Springer
15 years 2 months ago
1999
Springer
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...
105
click to vote
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
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...
EDO
2000
Springer
15 years 1 months ago
2000
Springer
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...
HLK
2003
IEEE
15 years 3 months ago
2003
IEEE
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...
C5
2008
IEEE
15 years 4 months ago
2008
IEEE
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...