3260 search results - page 378 / 652 » MYSEA Technology Demonstration |
195
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In the last decade, e-learning has been introduced to a variety of blended learning scenarios, such as life-long learning, University lectures, and game-based learning. In all the...
156
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
160
click to vote
WISE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Under Social Tagging Systems, a typical Web 2.0 application, users label digital data sources by using freely chosen textual descriptions (tags). Mining tag information r...
201
click to vote
ICWS
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, we propose an Internet public Web service matching approach that paves the way for (semi-)automatic service mashup. We will first provide the overview of the soluti...
159
click to vote
ICCD
2005
IEEE
16 years 4 months ago
2005
IEEE
As technology scales, power consumption and thermal effects have become challenges for system-on-chip designers. The rising on-chip temperatures can have negative impacts on SoC p...