1843 search results - page 204 / 369 » Securing Class Initialization |
126
click to vote
PAKM
2004
15 years 2 months ago
2004
In this paper we present a methodology to extract information from the Web to build a taxonomy of terms and Web resources for a given domain. This taxonomy represents a hierarchy o...
133
Voted
SDL
2001
15 years 2 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
WEBNET
1998
15 years 2 months ago
1998
: The Behavior Exchange is an AgentSheets-based forum employing the web for the collaborative creation of SimCityTM-like interactive simulations. While initially the Behavior Excha...
108
Voted
IAJIT
2008
15 years 26 days ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
92
Voted
IJBIDM
2006
15 years 25 days ago
2006
: Appraisal of companies is an important business activity. We mainly apply Bayesian networks for this classification task for Japanese electric company data. Firstly, few standard...