579 search results - page 45 / 116 » Constraint Validation in Model Compilers |
130
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
130
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
127
Voted
SPLC
2010
15 years 4 months ago
2010
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
103
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...