440 search results - page 39 / 88 » Local reasoning for abstraction and sharing |
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on...
118
click to vote
PUC
2010
15 years 11 days ago
2010
Abstract In the ubiquitous computing environment, people will interact with everyday objects (or computers embedded in them) in ways different from the usual and familiar desktop u...
149
click to vote
EUROPLOP
2006
15 years 3 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...
138
click to vote
CCS
2010
ACM
14 years 12 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. This paper introduces the RoboCast communication abstraction. The RoboCast allows a swarm of non oblivious, anonymous robots that are only endowed with visibility sensors...