Sciweavers

2061 search results - page 185 / 413
» Tiling with limited resources
Sort
View
ZUM
2005
Springer
142views Formal Methods» more  ZUM 2005»
16 years 22 days ago
Formal Program Development with Approximations
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
Eerke A. Boiten, John Derrick
MM
2004
ACM
88views Multimedia» more  MM 2004»
16 years 21 days ago
A general framework for multidimensional adaptation
Data adaptation is an essential system component in a wide variety of application areas. To date, most applications use ad hoc methods to manage data in response to limited resour...
David Gotz, Ketan Mayer-Patel
PPPJ
2004
ACM
16 years 21 days ago
Embedding JAAS in agent roles to apply local security policies
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
SENSYS
2004
ACM
16 years 21 days ago
Distributed attention
As distributed surveillance networks are deployed over larger areas and in increasingly busy environments, limiting the computation, bandwidth, and human attention burdens imposed...
Maurice Chu, Patrick Cheung, James Reich
ADAEUROPE
2004
Springer
16 years 20 days ago
Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
Bárbara Álvarez, Juan A. Pastor, Fra...