7918 search results - page 183 / 1584 » Model Composition Directives |
127
click to vote
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Service Oriented Architectures (SOAs) are constantly gaining ground for the provision of business to business as well as user-centric services, mainly in the form of Web Services ...
115
click to vote
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
133
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
125
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
136
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Images taken from scenes under water suffer distortion due to refraction. While refraction causes magnification with mild distortion on the observed images, severe distortions in...