3356 search results - page 508 / 672 » Computing education for sustainability |
195
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
235
click to vote
TFS
2011
15 years 2 months ago
2011
—Zadeh’s seminal work in theory of fuzzy-information3 granulation in human reasoning is inspired by the ways in which4 humans granulate information and reason with it. This has...
212
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Abstract- In order to prevent detection and evade signature-based scanning methods, which are normally exploited by antivirus softwares, metamorphic viruses use several various obf...
220
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper examines the personalization of online training simulations which are a key modern approach in computer aided education. More specifically it focuses on the difficulti...
211
Voted
TII
2010
15 years 1 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...