3028 search results - page 426 / 606 » Integrating Temporal Logics |
132
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
157
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Internet users regularly have the need to ļ¬nd biographies and facts of people of interest. Wikipedia has become the ļ¬rst stop for celebrity biographies and facts. However, Wik...
154
Voted
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a ļ¬nite-state model and a translation of the desired properties i...
155
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
153
Voted
FUZZY
1997
Springer
15 years 8 months ago
1997
Springer
Today many kinds of postprocessing are used in digital TV receivers or multimedia terminals for video signals to enhance the picture quality. To achieve this the properties of hum...