Sciweavers

5227 search results - page 129 / 1046
» Enterprise modeling using class and instance models
Sort
View
CASCON
1996
89views Education» more  CASCON 1996»
15 years 5 months ago
A comparison of algorithms for interprocedural class analysis
Message passing overhead is often a substantial source of runtime overhead in object-oriented applications. To combat this performance problem, a number of techniques have been de...
David Grove
AAAI
2000
15 years 5 months ago
Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
Barbara M. Smith, Kostas Stergiou, Toby Walsh
WSC
1997
15 years 5 months ago
WITNESS Simulation Software: A Flexible Suite of Simulation Tools
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
Pam Laney Markt, Michael H. Mayer
ACNS
2004
Springer
131views Cryptology» more  ACNS 2004»
15 years 8 months ago
Evaluating Security of Voting Schemes in the Universal Composability Framework
In the literature, voting protocols are considered secure if they satisfy requirements such as privacy, accuracy, robustness, etc. It can be time consuming to evaluate a voting pr...
Jens Groth
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
15 years 8 months ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans