Anakreon Mentis

According to our database1, Anakreon Mentis authored at least 10 papers between 2009 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
The Sphinx enigma in critical VoIP infrastructures: Human or botnet?
Proceedings of the 4th International Conference on Information, 2013

2012
Τυπική ανάλυση και απόδοση αρχιτεκτονικών κατανεμημένων συναλλαγών
PhD thesis, 2012

A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models.
Simul. Model. Pract. Theory, 2012

Model checking and code generation for transaction processing software.
Concurr. Comput. Pract. Exp., 2012

Secure Migration of Legacy Applications to the Web.
Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection.
Proceedings of the Critical Information Infrastructures Security, 2012

2010
Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client-server architectures.
Inf. Softw. Technol., 2010

2009
The ACID model checker and code generator for transaction processing.
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Synthetic Metrics for Evaluating Runtime Quality of Software Architectures with Complex Tradeoffs.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009


  Loading...