2575 search results - page 212 / 515 » Design of Distributed Component Frameworks for Computational... |
173
Voted
JUCS
2008
15 years 5 months ago
2008
: In a component-based development process the selection of components is an activity that takes place over multiple lifecycle phases that span from requirement specifications thro...
174
Voted
EDOC
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper advocates the need for a mechanism that will allow the evaluation of the provided quality of service (QoS) by a service provider to a service customer in B2B service pr...
156
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...
160
click to vote
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
273
click to vote
TASE
2012
IEEE
14 years 16 days ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...