Sciweavers

1100 search results - page 41 / 220
» From Goals to Aspects: Discovering Aspects from Requirements...
Sort
View
FOAL
2008
ACM
15 years 3 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 2 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»
15 years 8 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...
141
Voted
SOCA
2010
IEEE
14 years 11 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 1 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....