Sciweavers

3444 search results - page 541 / 689
» A Theory of Object-Oriented Design
Sort
View
203
Voted
ATAL
2007
Springer
15 years 11 months ago
Temporal linear logic as a basis for flexible agent interactions
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...
Duc Quang Pham, James Harland
CDC
2009
IEEE
112views Control Systems» more  CDC 2009»
15 years 11 months ago
Model predictive control for wind power generation smoothing with controlled battery storage
The aim of this study is to design a controller based on model predictive control (MPC) theory to smooth wind power generation along with the controlled storage of the wind energy ...
Muhammad Khalid, Andrey V. Savkin
251
Voted
CONEXT
2007
ACM
15 years 11 months ago
Rethinking internet traffic management: from multiple decompositions to a practical protocol
In the Internet today, traffic management spans congestion control (at end hosts), routing protocols (on routers), and traffic engineering (by network operators). Historically, th...
Jiayue He, Martin Suchara, Ma'ayan Bresler, Jennif...
170
Voted
ECLIPSE
2007
ACM
15 years 11 months ago
An Eclipse-based tool framework for software model management
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
Rick Salay, Marsha Chechik, Steve M. Easterbrook, ...
167
Voted
COCO
2010
Springer
152views Algorithms» more  COCO 2010»
15 years 11 months ago
A Log-Space Algorithm for Reachability in Planar Acyclic Digraphs with Few Sources
Designing algorithms that use logarithmic space for graph reachability problems is fundamental to complexity theory. It is well known that for general directed graphs this problem...
Derrick Stolee, Chris Bourke, N. V. Vinodchandran