Sciweavers

2629 search results - page 267 / 526
» Build a Computer from Scratch
Sort
View
RTCSA
2006
IEEE
16 years 1 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
SSDBM
2006
IEEE
147views Database» more  SSDBM 2006»
16 years 1 months ago
Task-Oriented Integrated Use of Biological Web Data Sources
Biological web data sources have now become essential information sources for researchers. However, their use is tedious, labor-intensive, repetitive, and possibly involve the int...
Mustafa Kirac, Ali Cakmak, Gultekin Özsoyoglu
ICECCS
2005
IEEE
154views Hardware» more  ICECCS 2005»
16 years 21 days ago
Customizable Framework for Managing Trusted Components Deployed on Middleware
Due to the widespread trust threat under the open and dynamic Internet environment, the computer community has endeavored to engage in the studies of technologies for protecting a...
Minghui Zhou, Wenpin Jiao, Hong Mei
EUROPAR
2005
Springer
16 years 19 days ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
ICICS
2005
Springer
16 years 18 days ago
Private Itemset Support Counting
Private itemset support counting (PISC) is a basic building block of various privacy-preserving data mining algorithms. Briefly, in PISC, Client wants to know the support of her i...
Sven Laur, Helger Lipmaa, Taneli Mielikäinen