1613 search results - page 242 / 323 » Model-Driven Constraint Engineering |
130
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
137
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We consider the following fundamental scheduling problem. The input consists of n jobs to be scheduled on a set of machines of bounded capacities. Each job is associated with a re...
138
click to vote
SEDE
2010
15 years 1 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
132
click to vote
WCET
2010
15 years 1 months ago
2010
To meet performance requirements as well as constraints on cost and power consumption, future embedded systems will be designed with multi-core processors. However, the question o...
154
Voted
BIRTHDAY
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...