4266 search results - page 729 / 854 » A Framework for Defining Logics |
167
click to vote
JCIT
2008
15 years 6 months ago
2008
Active database systems (ADBS) can, automatically, react to the occurrence of predefined events by definition a collection of active rules. One of the most important modules of AD...
168
click to vote
JCP
2008
15 years 6 months ago
2008
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
203
click to vote
JMLR
2008
15 years 6 months ago
2008
We describe and analyze an algorithmic framework for online classification where each online trial consists of multiple prediction tasks that are tied together. We tackle the prob...
162
click to vote
JCP
2006
15 years 6 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...
170
click to vote
JEC
2006
15 years 6 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...