9018 search results - page 1522 / 1804 » 3D-Brain Model Software |
156
click to vote
ESAW
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
142
click to vote
FSTTCS
2009
Springer
16 years 19 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
178
click to vote
MODELS
2009
Springer
16 years 19 days ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...
167
Voted
TAP
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
211
click to vote
SMA
2009
ACM
16 years 17 days ago
2009
ACM
We examine the problem of computing exactly the Delaunay graph (and the dual Voronoi diagram) of a set of, possibly intersecting, smooth convex pseudo-circles in the Euclidean pla...