7681 search results - page 1248 / 1537 » Typed Membrane Systems |
182
click to vote
CIKM
2005
Springer
16 years 1 months ago
2005
Springer
In multi-relational databases, a view, which is a context- and content-dependent subset of one or more tables (or other views), is often used to preserve privacy by hiding sensiti...
184
click to vote
DIGRA
2005
Springer
16 years 1 months ago
2005
Springer
In recent years, science education has been the focus of study and development of new gamebased learning environments. It has been argued that active and critical learning about r...
204
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
218
click to vote
FASE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
164
click to vote
FPL
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes a method based on polynomial approximation for transferring ROM resources used in FPGA designs to multiplication and addition operations. The technique can be...