626 search results - page 31 / 126 » Scheduling as Rule Composition |
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...
APSEC
2002
IEEE
14 years 23 days ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...
SSS
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— Mechanisms utilizing rigid links and relatively small flexural joints are very suitable for fabrication at the meso scale. The Micromechanical Flying Insect (MFI) project at U...
FORTE
2010
13 years 9 months ago
2010
Abstract. Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries li...