31387 search results - page 418 / 6278 » Abstracts |
255
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
183
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. An efficient treatment is developed for the Schr
204
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We provide evidence of the feasibility and effectiveness of a middleware architecture for mobile devices which employs dense distributions of small computerized entities ...
188
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...