1312 search results - page 160 / 263 » Embedded contract languages |
135
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
170
Voted
ADVIS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The management of modern telecommunications networks must satisfy ever-increasing operational demands. We propose a study for the improvement of intelligent administratio...
118
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
112
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
118
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...