11752 search results - page 182 / 2351 » Those |
148
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
An optimal feedback control has been obtained for linear-quadratic optimal control problems with constraints described by differential-algebraic equations. For that purpose, a ne...
177
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
150
click to vote
FGCN
2008
IEEE
16 years 1 months ago
2008
IEEE
Today, honeypot operators are strongly relying on network analysis tools to examine network traces collected in their honeynet environment. The accuracy of such analysis depends o...
191
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe Glosser, a system that supports students in writing essays by 1) scaffolding their reflection with trigger questions, and 2) using text mining techniques to provide co...
132
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Privacy, lineage, uncertainty, and security are important to many information integration efforts, and these “PLUS” properties interact in a number of complex ways. This pa...