Sciweavers

4323 search results - page 425 / 865
» Callback Implementations in C
Sort
View
180
Voted
AUSAI
2004
Springer
16 years 8 days ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
178
Voted
CCS
2004
ACM
16 years 8 days ago
IP covert timing channels: design and detection
A network covert channel is a mechanism that can be used to leak information across a network in violation of a security policy and in a manner that can be difficult to detect. In...
Serdar Cabuk, Carla E. Brodley, Clay Shields
ECCV
2004
Springer
16 years 7 days ago
A New Robust Technique for Stabilizing Brightness Fluctuations in Image Sequences
Abstract. Temporal random variation of luminance in images can manifest in film and video due to a wide variety of sources. Typical in archived films, it also affects scenes rec...
François Pitié, Rozenn Dahyot, Franc...
208
Voted
MIDDLEWARE
2004
Springer
16 years 6 days ago
Enabling collaborative adaptation across legacy components
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
Zhenxiao Yang, Zhinan Zhou, Betty H. C. Cheng, Phi...
AGILEDC
2003
IEEE
16 years 5 days ago
Iteration Advocate/Iteration Transition Meeting: Small Sampling of New agile Techniques Used at a Major Telecommunications Firm
This paper documents a successful implementation of agile at a major telecommunications firm. Critical aspects to mention about this particular software endeavor include a) this c...
Brian S. Boelsterli