1843 search results - page 211 / 369 » Securing Class Initialization |
107
click to vote
CSL
2008
Springer
15 years 2 months ago
2008
Springer
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of in...
112
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Stochastic optimization problems provide a means to model uncertainty in the input data where the uncertainty is modeled by a probability distribution over the possible realizatio...
100
Voted
MEDINFO
2007
15 years 2 months ago
2007
In this paper we present the ongoing development and extension work on BioTop – a top-domain ontology for linking biomedical domain ontologies. We start by making the case for t...
116
click to vote
STAIRS
2008
15 years 2 months ago
2008
We study a problem of path planning for a group of robots in this paper. The problem is stated as a finding of spatial-temporal paths through which the robots can go from their ini...
135
click to vote
SCSC
2007
15 years 2 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...