Sciweavers

2800 search results - page 368 / 560
» Fibrational Control Structures
Sort
View
SASO
2007
IEEE
15 years 8 months ago
Towards Supporting Interactions between Self-Managed Cells
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
Alberto E. Schaeffer Filho, Emil C. Lupu, Naranker...
99
Voted
CC
2007
Springer
15 years 8 months ago
A Declarative Framework for Analysis and Optimization
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
Henry Falconer, Paul H. J. Kelly, David M. Ingram,...
150
Voted
FROCOS
2007
Springer
15 years 8 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
123
Voted
PROMAS
2007
Springer
15 years 8 months ago
Modules as Policy-Based Intentions: Modular Agent Programming in GOAL
Modular programming has the usual benefits associated with structured programming, information hiding and reusability, but also has additional benefits to offer when applied in ...
Koen V. Hindriks
102
Voted
GMP
2006
IEEE
154views Solid Modeling» more  GMP 2006»
15 years 8 months ago
Manifold T-Spline
This paper develops the manifold T-splines, which naturally extend the concept and the currently available algorithms/techniques of the popular planar tensor-product NURBS and T-sp...
Ying He 0001, Kexiang Wang, Hongyu Wang, Xianfeng ...