Sciweavers

9325 search results - page 1427 / 1865
» The decentralized implementability problem
Sort
View
GROUP
2007
ACM
15 years 10 months ago
Supporting collaborative software development through the visualization of socio-technical dependencies
One of the reasons large-scale software development is difficult is the number of dependencies that software engineers face. These dependencies create a need for communication and...
Cleidson R. B. de Souza, Stephen Quirk, Erik Train...
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
ICAC
2007
IEEE
15 years 10 months ago
Strider Search Ranger: Towards an Autonomic Anti-Spam Search Engine
Search spammers use questionable search engine optimization techniques to promote their spam links into top search results. Large-scale spammers target commerce queries that they ...
Yi-Min Wang, Ming Ma
ICB
2007
Springer
139views Biometrics» more  ICB 2007»
15 years 10 months ago
Tracking and Recognition of Multiple Faces at Distances
Many applications require tracking and recognition of multiple faces at distances, such as in video surveillance. Such a task, dealing with non-cooperative objects is more challeng...
Rong Liu, Xiufeng Gao, Rufeng Chu, XiangXin Zhu, S...
ICC
2007
IEEE
101views Communications» more  ICC 2007»
15 years 10 months ago
Optimal Resource Allocation in Wireless Multiaccess Video Transmissions
We study the problem of optimal resource allocation for multi-user wireless video transmissions from an informationtheoretic point of view. We show that the previously known optima...
Cong Shen, Mihaela van der Schaar
« Prev « First page 1427 / 1865 Last » Next »