Sciweavers

645 search results - page 71 / 129
» Pure patterns type systems
Sort
View
CN
2007
224views more  CN 2007»
14 years 12 months ago
Automated adaptive intrusion containment in systems of interacting services
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
Yu-Sung Wu, Bingrui Foo, Yu-Chun Mao, Saurabh Bagc...
RTSS
2008
IEEE
15 years 6 months ago
A Multi-mode Real-Time Calculus
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
KDD
2003
ACM
142views Data Mining» more  KDD 2003»
16 years 8 days ago
Extracting information from text and images for location proteomics
There is extensive interest in automating the collection, organization and summarization of biological data. Data in the form of figures and accompanying captions in literature pr...
Zhenzhen Kou, William W. Cohen, Robert F. Murphy
ESORICS
2010
Springer
15 years 29 days ago
Enforcing Secure Object Initialization in Java
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...
Laurent Hubert, Thomas P. Jensen, Vincent Monfort,...
WWW
2006
ACM
16 years 16 days ago
Using web browser interactions to predict task
The automatic identification of a user's task has the potential to improve information filtering systems that rely on implicit measures of interest and whose effectiveness ma...
Melanie Kellar, Carolyn R. Watters