4767 search results - page 416 / 954 » Structures for Abstract Rewriting |
176
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--Finding regularities in large data sets requires implementations of systems that are efficient in both time and space requirements. Here, we describe a newly developed sy...
207
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
186
click to vote
IEEEICCI
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Role assignment is an important task in RoleBased Collaboration (RBC). Agent evaluation is the first step of role assignment. The other two steps are group role assignmen...
190
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Cellular automata have rich computational properties and, at the same time, provide plausible models of physics-like computation. We study decidability issues in the phas...
171
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper a method for designing a stabilizing high level model predictive controller for a hierarchical plugand-play process is presented. achieved by abstracting the lower la...