Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eļ...
Marcelo M. Carvalho, Jose Joaquin Garcia-Luna-Acev...
Associativity between feature models implies the automatic updating of diļ¬erent feature models of a part after changes are made in one of its feature models. This is an importan...
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often inļ¬nite states, thus making model ...
Current source based cell models are becoming a necessity for accurate timing and noise analysis at 65nm and below. Voltage waveform shapes are increasingly more difficult to repr...