1329 search results - page 131 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
159
click to vote
WWIC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
185
click to vote
IFL
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
177
click to vote
PPAM
2005
Springer
15 years 12 months ago
2005
Springer
The complexity and the dynamics of the Grid environment and of the emering workflow-based applications on the Grid require novel performance monitoring and analysis services in or...
201
click to vote
ASIAN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
200
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- In this paper we consider the problem of monitoring a known set of stationary features (or locations of interest) in an environment. To observe a feature, a robot must v...