575 search results - page 85 / 115 » Transition systems for designing and reasoning about norms |
DAC
2000
ACM
16 years 10 days ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
GPCE
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
AVI
2008
15 years 1 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...
155
click to vote
GIS
2006
ACM
16 years 12 days ago
2006
ACM
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
WICSA
2008
15 years 24 days ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...