Sciweavers

6047 search results - page 716 / 1210
» Modeling with Extend
Sort
View
CSFW
2006
IEEE
16 years 1 months ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
INFOCOM
2006
IEEE
16 years 1 months ago
Sleeping Coordination for Comprehensive Sensing Using Isotonic Regression and Domatic Partitions
— We address the problem of energy efficient sensing by adaptively coordinating the sleep schedules of sensor nodes while guaranteeing that values of sleeping nodes can be recov...
Farinaz Koushanfar, Nina Taft, Miodrag Potkonjak
ACRI
2006
Springer
16 years 29 days ago
In Search of Cellular Automata Reproducing Chaotic Dynamics Described by Logistic Formula
Two-dimensional cellular automata (CA) systems are widely used for modeling spatio-temporal dynamics of evolving populations. Conversely, the logistic equation is a 1-D model descr...
Witold Dzwinel
HICSS
2005
IEEE
97views Biometrics» more  HICSS 2005»
16 years 17 days ago
Senior Citizens' Adoption of E-Government: In Quest of the Antecedents of Perceived Usefulness
E-Government, as a vehicle to deliver enhanced services to citizens, is now extending its reach to the elderly population through provision of targeted services. In doing so, the ...
Chee Wei Phang, Yan Li, Juliana Sutanto, Atreyi Ka...
SACMAT
2005
ACM
16 years 16 days ago
Purpose based access control of complex data for privacy protection
As privacy becomes a major concern for both consumers and enterprises, many research efforts have been devoted to the development of privacy protecting technology. We recently pr...
Ji-Won Byun, Elisa Bertino, Ninghui Li