Sciweavers

2334 search results - page 212 / 467
» How are Real Grids Used
Sort
View
AB
2008
Springer
15 years 12 months ago
Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
Wei Niu, Dongming Wang
DASFAA
2007
IEEE
163views Database» more  DASFAA 2007»
15 years 12 months ago
Protecting Individual Information Against Inference Attacks in Data Publishing
In many data-publishing applications, the data owner needs to protect sensitive information pertaining to individuals. Meanwhile, certain information is required to be published. T...
Chen Li, Houtan Shirani-Mehr, Xiaochun Yang
HICSS
2007
IEEE
116views Biometrics» more  HICSS 2007»
15 years 12 months ago
Modeling Network Decisions under Uncertainty: Countervailing Externalities and Embedded Options
The analysis of externalities in technology-based networks continues to be of significant managerial importance in e-commerce and traditional IS operations. Competitive strategy, ...
Robert J. Kauffman, Ajay Kumar
FSE
2007
Springer
107views Cryptology» more  FSE 2007»
15 years 11 months ago
Message Freedom in MD4 and MD5 Collisions: Application to APOP
Abstract. In Wang’s attack, message modifications allow to deterministically satisfy certain sufficient conditions to find collisions efficiently. Unfortunately, message modi...
Gaëtan Leurent
169
Voted
SPC
2005
Springer
15 years 11 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...