1030 search results - page 161 / 206 » Happenings |
IMSCCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Background: Tandem mass spectrometry has emerged as a cornerstone of high throughput proteomic studies owing in part to various high throughput search engines which are used to in...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Intelligent Route Control (IRC) systems are increasingly deployed in multihomed networks. IRC systems aim to optimize the cost and performance of outgoing traffic, bas...
103
click to vote
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
SEFM
2006
IEEE
15 years 5 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
106
click to vote
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
This paper presents the main results of a three-year long field and design study of proactive information technology in the home. This technology uses sensors to track human activ...