Sciweavers

1100 search results - page 41 / 220
» From Goals to Aspects: Discovering Aspects from Requirements...
Sort
View
FOAL
2008
ACM
15 years 8 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
DAC
2008
ACM
16 years 7 months ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...
ICC
2009
IEEE
117views Communications» more  ICC 2009»
16 years 1 months ago
Spatial Statistics of Spectrum Usage: From Measurements to Spectrum Models
—Several measurement studies have found a large amount of underutilized radio spectrum. More flexible regulation employing dynamic spectrum access (DSA) has been proposed as sol...
Matthias Wellens, Janne Riihijärvi, Martin Go...
SOCA
2010
IEEE
15 years 4 months ago
Towards a diamond SOA operational model
The triangular operational model with the three roles of service-registry, -provider, and -consumer has been the traditional operational model in Service-oriented Architectures (SO...
Mohammed AbuJarour, Felix Naumann
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 6 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....