Sciweavers

2905 search results - page 183 / 581
» Formal Memetic Algorithms
Sort
View
95
Voted
ECOOP
2006
Springer
15 years 1 months ago
Variance and Generalized Constraints for C# Generics
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
Burak Emir, Andrew Kennedy, Claudio V. Russo, Dach...
105
Voted
ECOWS
2006
Springer
15 years 1 months ago
Denotation of Semantic Web Services Operations through OWL-S
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
Marco Luca Sbodio, Claude Moulin
FMICS
2006
Springer
15 years 1 months ago
Verified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
Aad Mathijssen, A. Johannes Pretorius
93
Voted
AFRIGRAPH
2001
ACM
15 years 1 months ago
Exploiting coherence of shadow rays
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...
Andrzej Lukaszewski
81
Voted
CCS
2008
ACM
15 years 5 days ago
Enforcing a security pattern in stakeholder goal models
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Ying...