1312 search results - page 149 / 263 » Embedded contract languages |
173
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper studies the effects of introducing altruistic agents into atomic congestion games. Altruistic behavior is modeled by a trade-off between selfish and social objectives. ...
166
click to vote
RTSS
2007
IEEE
16 years 12 days ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
160
click to vote
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
144
click to vote
CONTEXT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
175
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...