5407 search results - page 926 / 1082 » The Software Engineering Global Model |
124
Voted
WSC
1998
15 years 5 months ago
1998
This paper presents the analysis of the optimization for the production of precast pieces in a workshop with the help of simulation to obtain several working alternatives. The mai...
171
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
157
Voted
KDD
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a generalization of Regression Error Characteristic (REC) curves. REC curves describe the cumulative distribution function of the prediction error of models an...
144
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
134
Voted
FATES
2004
Springer
15 years 9 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...