1815 search results - page 268 / 363 » Cloud Computing: An Overview |
156
click to vote
COMPUTER
2007
15 years 4 months ago
2007
Ubiquitous computing has become a reality in recent years. Tiny wireless sensors and RFID tags are being deployed today and will soon form an important aspect of our infrastructur...
129
click to vote
JIIS
2008
15 years 4 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
160
click to vote
DCOSS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We have developed TakaTuka, a Java Virtual Machine optimized for tiny embedded devices such as wireless sensor motes. TakaTuka1 requires very little memory and processing...
126
click to vote
BIRTHDAY
2012
Springer
14 years 7 days ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
151
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
We propose a new method named compressive structured light for recovering inhomogeneous participating media. Whereas conventional structured light methods emit coded light patterns...