Result 1 to 20 of 30 total
Aspect-oriented runtime monitor certification. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 126-140 (2012).
1
Stochastic frontier estimation of efficient learning in video games (English)
Computers & Education 58, No. 1, 534-541 (2012).
2
Secure semantic computing. (English)
Int. J. Semant. Comput. 5, No. 2, 121-131 (2011).
3
Differentiating code from data in x86 binaries. (English)
Gunopulos, Dimitrios (ed.) et al., Machine learning and knowledge discovery in databases. European conference, ECML PKDD 2011, Athens, Greece, September 5‒9, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-23807-9/pbk). Lecture Notes in Computer Science 6913. Lecture Notes in Artificial Intelligence, 522-536 (2011).
4
Secure semantic computing (English)
Int. J. Semantic Computing 5, No. 2, 121-131 (2011).
5
A service-oriented approach to mobile code security (English)
Procedia CS 5, 531-538 (2011).
6
Negotiating students’ conceptions of ’cheating’ in video games and in school (English)
IJGCMS 3, No. 2, 44-56 (2011).
7
Children’s choices and strategies in video games (English)
Computers in Human Behavior 27, No. 1, 532-539 (2011).
8
Cloud-based malware detection for evolving data streams (English)
ACM Trans. Management Inf. Syst. 2, No. 3, 16 (2011).
9
Differentiating code from data in x86 binaries (English)
ECML/PKDD (3), 522-536 (2011).
10
Flexible in-lined reference monitor certification: challenges and future directions (English)
PLPV, 55-60 (2011).
11
Model-checking in-lined reference monitors. (English)
Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 312-327 (2010).
12
Actionscript in-lined reference monitoring in Prolog. (English)
Carro, Manuel (ed.) et al., Practical aspects of declarative languages. 12th international symposium, PADL 2010, Madrid, Spain, January 18‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11502-8/pbk). Lecture Notes in Computer Science 5937, 149-151 (2010).
13
Security issues for cloud computing (English)
IJISP 4, No. 2, 36-48 (2010).
14
Actionscript in-lined reference monitoring in prolog (English)
PADL, 149-151 (2010).
15
Disambiguating aspect-oriented security policies (English)
AOSD, 193-204 (2010).
16
Challenges and future directions of software technology: secure software development (English)
COMPSAC, 17-20 (2010).
17
A token-based access control system for RDF data in the clouds (English)
CloudCom, 104-111 (2010).
18
Secure semantic sensor web and pervasive computing (English)
SUTC/UMC, 5-10 (2010).
19
Model-checking in-lined reference monitors (English)
VMCAI, 312-327 (2010).
20
Result 1 to 20 of 30 total
Start
Contact
Print
General Help
