Sciweavers

1445 search results - page 234 / 289
» Architectures to make Simple Visualisations using Simple Sys...
Sort
View
CSUR
1999
137views more  CSUR 1999»
15 years 2 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
ICRA
2010
IEEE
142views Robotics» more  ICRA 2010»
15 years 1 months ago
Learning and planning high-dimensional physical trajectories via structured Lagrangians
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...
Paul Vernaza, Daniel D. Lee, Seung-Joon Yi
WWW
2011
ACM
14 years 10 months ago
Heat-seeking honeypots: design and experience
Many malicious activities on the Web today make use of compromised Web servers, because these servers often have high pageranks and provide free resources. Attackers are therefore...
John P. John, Fang Yu, Yinglian Xie, Arvind Krishn...
TWC
2010
14 years 9 months ago
Bandwidth exchange: an energy conserving incentive mechanism for cooperation
Cooperative forwarding in wireless networks has shown to yield rate and diversity gains, but it incurs energy costs borne by the cooperating nodes. In this paper we consider an inc...
Dan Zhang, Ryoichi Shinkuma, Narayan B. Mandayam
CF
2004
ACM
15 years 8 months ago
Modeling service-based multimedia content adaptation in pervasive computing
Pervasive computing applications allow users to access information from anywhere while traveling and using variety of devices. Heterogeneity and limitation of resources involved i...
Girma Berhe, Lionel Brunie, Jean-Marc Pierson