18769 search results - page 163 / 3754 » Requirements Models in Context |
121
Voted
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
133
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
We propose a unified framework based on a general definition of geometric transform (GeT) for modeling appearance. GeT represents the appearance by applying designed functionals o...
171
Voted
ASIAMS
2009
IEEE
15 years 11 months ago
2009
IEEE
Cognitive radio has the ability to sense the environment and adapt its behavior to optimize communication features, such as quality of service in the presence of interference and ...
137
Voted
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
160
click to vote
PERCOM
2005
ACM
15 years 10 months ago
2005
ACM
When ubiquitous computing devices access a contextawareness service, such as a location service, they need some assurance that the quality of the information received is trustwort...