1277 search results - page 145 / 256 » Views of Fibonacci dynamics |
JELIA
1990
Springer
15 years 5 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
178
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
CANDC
2007
ACM
15 years 5 months ago
2007
ACM
Can creative visualizations of real time energy consumption patterns trigger more ecologically responsible behavior? Media art that displays the real time usage of key resources s...
112
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
NPIV
1998
ACM
15 years 5 months ago
1998
ACM
In this paper,we describeanexperimental web application, Visual MeSH that supports dynamic user interaction with medical vocabulary databasesand literature databases. Visual MeSH ...