290 search results - page 46 / 58 » A Metamodeling Approach for Reasoning about Requirements |
AAMAS
2007
Springer
15 years 14 days ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
122
Voted
JCM
2006
15 years 8 days ago
2006
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
115
click to vote
ISF
2007
15 years 6 days ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
102
click to vote
TOPLAS
2002
14 years 12 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
110
click to vote
APSCC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...