1346 search results - page 213 / 270 » Alternating-time dynamic logic |
146
click to vote
ADBIS
2007
Springer
16 years 8 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
156
click to vote
FPGA
2007
ACM
16 years 7 days ago
2007
ACM
This paper describes a technique that reduces dynamic power in FPGAs by reducing the number of glitches in the global routing resources. The technique involves adding programmable...
145
click to vote
HYBRID
2007
Springer
16 years 7 days ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
152
click to vote
ICWE
2007
Springer
16 years 6 days ago
2007
Springer
The trend over the last years clearly shows that modern Web development is evolving from traditional, HTML-based Web sites to fullfledged, complex Web applications, also equipped ...
146
click to vote
MIDDLEWARE
2007
Springer
16 years 6 days ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...