4726 search results - page 852 / 946 » A design environment for mobile applications |
143
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Grid computing focuses on making use of a very large amount of resources from a large-scale computing environment. It intends to deliver high-performance computing over distribute...
154
click to vote
VTC
2007
IEEE
16 years 20 days ago
2007
IEEE
—Multi-channel operation in wireless systems has been proposed to increase user throughput and reduce transmission delays. However, multi-channel operation requires adequate reso...
170
click to vote
ECTEL
2007
Springer
16 years 17 days ago
2007
Springer
Motivation to learn is affected by a student’s self-efficacy, goal orientation, locus of control and perceived task difficulty. In the classroom, teachers know how to motivate th...
145
click to vote
CGO
2006
IEEE
16 years 14 days ago
2006
IEEE
Just-in-time compilers are invoked during application execution and therefore need to ensure fast compilation times. Consequently, runtime compiler designers are averse to impleme...
189
click to vote
CSFW
2006
IEEE
16 years 13 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...