6796 search results - page 376 / 1360 » Java for Embedded Systems |
130
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
147
click to vote
ORL
2010
14 years 11 months ago
2010
Rationing is an inventory policy that allows prioritization of demand classes. It enables the inventory system to provide higher service levels for critical demand classes. In thi...
124
click to vote
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
150
click to vote
ICECCS
1996
IEEE
15 years 8 months ago
1996
IEEE
A dynamically reconfigurable real-time software (DRRTS) paradigm can be used effectively in the design of embedded systems to provide many major advantages over conventional softw...
117
click to vote
FPL
2009
Springer
15 years 9 months ago
2009
Springer
Self-organization is a natural concept that helps complex systems to adapt themselves autonomically to their environment. In this paper, we present a self-organizing framework for...