1136 search results - page 49 / 228 » A case for the accountable cloud |
155
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
With the advances in mobile technologies is now possible to support learners and teachers activities on the move. We analyzed the functionalities that should be provided by a gene...
142
click to vote
IWANN
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. It is generally accepted that some of the problems and ambiguities at the low level of processing can not be resolved without taking into account contextual expectations....
147
click to vote
LSSC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...
150
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
167
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...