10666 search results - page 1790 / 2134 » Quantum programming languages |
132
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
Annotations are often mentioned as a potential alternative to tackle the fragile nature of AspectJ pointcuts. However, annotations themselves can be considered crosscutting elemen...
153
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
152
click to vote
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
130
click to vote
FCCM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
149
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...