Sciweavers

13397 search results - page 2453 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
PAM
2007
Springer
15 years 9 months ago
Packet Capture in 10-Gigabit Ethernet Environments Using Contemporary Commodity Hardware
Abstract. Tracing traffic using commodity hardware in contemporary highspeed access or aggregation networks such as 10-Gigabit Ethernet is an increasingly common yet challenging t...
Fabian Schneider, Jörg Wallerich, Anja Feldma...
136
Voted
SEMWEB
2007
Springer
15 years 9 months ago
LILY: the Results for the Ontology Alignment Contest OAEI 2007
This paper presents the results of LILY, which is an ontology mapping system, for OAEI 2007 campaign. To accurately describe what the real meaning of an entity in the original onto...
Peng Wang, Baowen Xu
AVSS
2006
IEEE
15 years 9 months ago
Multimedia Surveillance and Monitoring
Most surveillance and monitoring systems nowadays utilize multiple types of sensors. However, due to the asynchrony among and diversity of sensors, information assimilation how to...
Mohan S. Kankanhalli
122
Voted
SAC
2005
ACM
15 years 9 months ago
Adaptive and fault tolerant medical vest for life-critical medical monitoring
In recent years, exciting technological advances have been made in development of flexible electronics. These technologies offer the opportunity to weave computation, communicat...
Roozbeh Jafari, Foad Dabiri, Philip Brisk, Majid S...
156
Voted
TLDI
2005
ACM
151views Formal Methods» more  TLDI 2005»
15 years 9 months ago
Strict bidirectional type checking
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
Adam J. Chlipala, Leaf Petersen, Robert Harper
« Prev « First page 2453 / 2680 Last » Next »