899 search results - page 104 / 180 » A Temporal Language for SystemC |
120
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
CP
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a new approach for solving disjunctive temporal problems such as the open shop and job shop scheduling domains. Much previous research in systematic search app...
88
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
DALT
2007
Springer
15 years 7 months ago
2007
Springer
Development of more complex cognitive systems during evolution is sometimes viewed in relation to environmental complexity. In more detail, growth of complexity during evolution ca...
112
click to vote
ICSEA
2006
IEEE
15 years 7 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....