5777 search results - page 98 / 1156 » The palladio component model |
168
click to vote
GRID
2008
Springer
15 years 5 months ago
2008
Springer
The existence of good probabilistic models for the job arrival process and the delay components introduced at different stages of job processing in a Grid environment is important ...
170
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
221
click to vote
HUMAN
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Software Defined Radio (SDR) is a key enabling technology for mobile wireless Internet. SDR represents unique opportunity to provide Internet connectivity to handheld dev...
149
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
The vast majority of earlier work has focused on graphs which are both connected (typically by ignoring all but the giant connected component), and unweighted. Here we study numer...
177
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...