12272 search results - page 1756 / 2455 » Experimental program analysis |
188
click to vote
ENTCS
2006
15 years 7 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
226
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
184
click to vote
GRID
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose a framework dedicated to the development and the execution of parallel applications over large scale global computing platforms. A workflow programming env...
224
click to vote
INFSOF
2008
15 years 7 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
174
click to vote
JFR
2006
15 years 7 months ago
2006
This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as prescribed by t...