Sciweavers

913 search results - page 24 / 183
» Full Abstraction for Linda
Sort
View
JOT
2006
111views more  JOT 2006»
13 years 7 months ago
A Cohesion Measure for Aspects
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
Jean-François Gélinas, Mourad Badri,...
ENTCS
2007
84views more  ENTCS 2007»
13 years 7 months ago
A Rewriting Logic Framework for Soft Constraints
Soft constraints extend classical constraints to deal with non-functional requirements, overconstrained problems and preferences. Bistarelli, Montanari and Rossi have developed a ...
Martin Wirsing, Grit Denker, Carolyn L. Talcott, A...
PERCOM
2010
ACM
13 years 5 months ago
Towards the adaptive integration of multiple context reasoners in pervasive computing environments
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...
Daniele Riboni, Linda Pareschi, Claudio Bettini
JSAC
2011
108views more  JSAC 2011»
13 years 2 months ago
A Model-Based Approach to Cognitive Radio Design
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
Jorg Lotze, Suhaib A. Fahmy, Juanjo Noguera, Linda...
JUCS
2010
104views more  JUCS 2010»
13 years 6 months ago
Computational Science and its Applications
of Abstract and Full Paper submission: October 31, 2009 November 15, 2009 Notification of Acceptance: December 7, 2009: Deadline of Authors and Early-bird Registration: January 8, ...
Osvaldo Gervasi, K. Tan, Marina L. Gavrilova, Davi...