Sciweavers

495 search results - page 49 / 99
» HIDE : A Logic Based Hardware Development Environment
Sort
View
WCRE
2002
IEEE
14 years 1 months ago
Knowledge-Based Library Re-Factoring for an Open Source Project
Software miniaturization is a form of software refactoring focused on reducing an application to the bare bone. Porting an application on a hand-held device is very likely to requ...
Massimiliano Di Penta, Markus Neteler, Giuliano An...
CCECE
2006
IEEE
14 years 3 months ago
A Dynamic Associative E-Learning Model based on a Spreading Activation Network
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
Phongchai Nilas, Nilamit Nilas, Somsak Mitatha
HICSS
2002
IEEE
169views Biometrics» more  HICSS 2002»
14 years 1 months ago
Enabling Technology for Personalizing Mobile Services
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
Marc M. Lankhorst, Herma Van Kranenburg, Alfons H....
JUCS
2000
102views more  JUCS 2000»
13 years 8 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
SIGMETRICS
2008
ACM
132views Hardware» more  SIGMETRICS 2008»
13 years 9 months ago
Durability of replicated distributed storage systems
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
Sriram Ramabhadran, Joseph Pasquale