10072 search results - page 119 / 2015 » Composition of Model Programs |
218
click to vote
CII
2006
15 years 2 months ago
2006
The importance of product information management during the whole lifetime of the product has increased due to the technical sophistication of products as well as stricter governm...
108
click to vote
IJMMS
2006
15 years 2 months ago
2006
This article describes computational modeling and two corresponding experimental investigations of the effects of symmetry, balance and quantity of construction elements on interf...
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
126
click to vote
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
87
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
