1613 search results - page 210 / 323 » Model-Driven Constraint Engineering |
172
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
140
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
CBSE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an automatic and flexible approach for software component substitution. When a component is removed from an assembly, most existing approaches perform co...
131
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
129
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...