2846 search results - page 417 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
170
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
187
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
184
click to vote
DKE
2007
15 years 6 months ago
2007
We develop a new algorithm for clustering search results. Differently from many other clustering systems that have been recently proposed as a post-processing step for Web search ...
162
click to vote
ICSR
2000
Springer
15 years 10 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
177
click to vote
COMSWARE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...