5326 search results - page 430 / 1066 » On what we can ensure |
214
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
194
Voted
WONTO
2008
15 years 8 months ago
2008
Nowadays Internet is anywhere and users can find all possible information. In this situation, the new challenge is to provide the right information at the right time. As Web servic...
179
click to vote
SSR
2001
15 years 8 months ago
2001
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...
201
Voted
IJISEC
2007
15 years 6 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
189
click to vote
JAIR
2000
15 years 6 months ago
2000
A major problem in machine learning is that of inductive bias: how to choose a learner's hypothesis space so that it is large enough to contain a solution to the problem bein...