Sciweavers

8009 search results - page 352 / 1602
» cans 2005
Sort
View
MOBISYS
2005
ACM
16 years 6 months ago
Horde: separating network striping policy from mechanism
Inverse multiplexing, or network striping, allows the construction of a high-bandwidth virtual channel from a collection of multiple low-bandwidth network channels. Striping syste...
Asfandyar Qureshi, John V. Guttag
ICSM
2005
IEEE
16 years 10 days ago
Contract-Based Mutation for Testing Components
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, ...
SEFM
2005
IEEE
16 years 10 days ago
Counting Interface Automata and their Application in Static Analysis of Actor Models
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Ernesto Wandeler, Jörn W. Janneck, Edward A. ...
ECML
2005
Springer
16 years 9 days ago
A Model Based Method for Automatic Facial Expression Recognition
Automatic facial expression recognition is a research topic with interesting applications in the field of human-computer interaction, psychology and product marketing. The classi...
Hans van Kuilenburg, Marco Wiering, Marten den Uyl
157
Voted
FSE
2005
Springer
85views Cryptology» more  FSE 2005»
16 years 8 days ago
Analysis of the Non-linear Part of Mugi
This paper presents the results of a preliminary analysis of the stream cipher Mugi. We study the nonlinear component of this cipher and identify several potential weaknesses in it...
Alex Biryukov, Adi Shamir