Sciweavers

192 search results - page 1 / 39
» Internal consistency for embedding complexity
Sort
View
JSYML
2008
112views more  JSYML 2008»
13 years 4 months ago
Internal consistency for embedding complexity
In a previous paper with M. Dzamonja, class forcings were given which fixed the complexity (a universality covering number) for certain types of structures of size together with ...
Sy-David Friedman, Katherine Thompson
ICFEM
2003
Springer
13 years 10 months ago
Service-Based Systems Engineering: Consistent Combination of Services
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
Bernhard Schätz, Chris Salzmann
SOFSEM
2007
Springer
13 years 10 months ago
Separation of Concerns and Consistent Integration in Requirements Modelling
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
Xin Chen, Zhiming Liu, Vladimir Mencl
SPLC
2010
13 years 6 months ago
Consistent Product Line Configuration across File Type and Product Line Boundaries
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...
Christoph Elsner, Peter Ulbrich, Daniel Lohmann, W...
DAC
1998
ACM
14 years 5 months ago
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta