26 search results - page 5 / 6 » Feature Diagrams for Change-Oriented Programming |
CAD
2008
Springer
13 years 5 months ago
2008
Springer
This paper presents a new method for evaluating boolean set operations between Binary Space Partition (BSP) trees. Our algorithm has many desirable features including both numeric...
PPSWR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
ICDE
2007
IEEE
14 years 6 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
POPL
2000
ACM
13 years 8 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
JIB
2007
13 years 5 months ago
2007
As protein-protein interactions are one of the basic mechanisms in most cellular processes, it is desirable to understand the molecular details of protein-protein contacts and ult...