1054 search results - page 140 / 211 » Models for automatic generation of safety-critical real-time... |
128
click to vote
EDOC
2003
IEEE
15 years 7 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
134
click to vote
ASE
2005
15 years 1 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
114
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
122
click to vote
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
WWW
2008
ACM
16 years 2 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...