Sciweavers

7395 search results - page 1245 / 1479
» Social Modeling and i*
Sort
View
INFOCOM
2007
IEEE
16 years 28 days ago
On the Routing Problem in Disconnected Vehicular Ad-hoc Networks
Abstract— Vehicular Ad Hoc Wireless Network (VANET) exhibits a bipolar behavior in terms of network topology: fully connected topology with high traffic volume or sparsely conne...
Nawaporn Wisitpongphan, Fan Bai, Priyantha Mudalig...
ISBI
2007
IEEE
16 years 27 days ago
Wavelet-Based Statistical Analysis for Optical Imaging in Mouse Olfactory Bulb
Optical imaging is a powerful technique to map brain function in animals. In this study, we consider in vivo optical imaging of the murine olfactory bulb, using an intrinsic signa...
Dimitri Van De Ville, Brice Bathellier, Alan Carle...
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 27 days ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
RTSS
2007
IEEE
16 years 27 days ago
Robust Priority Assignment for Fixed Priority Real-Time Systems
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...
Robert I. Davis, Alan Burns
AIRWEB
2007
Springer
16 years 24 days ago
Transductive Link Spam Detection
Web spam can significantly deteriorate the quality of search engines. Early web spamming techniques mainly manipulate page content. Since linkage information is widely used in we...
Dengyong Zhou, Chris Burges, Tao Tao
« Prev « First page 1245 / 1479 Last » Next »