2145 search results - page 334 / 429 » Architectural Specifications in CASL |
SEKE
1994
Springer
14 years 2 months ago
1994
Springer
We describe a technique for the control of production rules firing in an object-oriented setting. This technique is based on the separation of control rules from ordinary domain r...
AOSD
2007
ACM
14 years 2 months ago
2007
ACM
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
AUTONOMICS
2007
ACM
14 years 2 months ago
2007
ACM
Smart camera networks provide the opportunity to detect, classify, and trace visual events by means of a wireless network of embedded computing devices equipped with camera sensor...
CASES
2007
ACM
14 years 2 months ago
2007
ACM
The development of robust and efficient synthesis tools is important if asynchronous design is to gain more widespread acceptance. Syntax-directed translation is a powerful synthe...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...