7628 search results - page 1180 / 1526 » Spatial P systems |
192
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
191
click to vote
CAL
2006
15 years 6 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
145
click to vote
ENTCS
2006
15 years 6 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
144
click to vote
IJMMS
2006
15 years 6 months ago
2006
One of the major challenges in computer vision is to create automated systems that perform tasks with at least the same competences as human experts. In particular for automated i...