3168 search results - page 202 / 634 » Computing Event Dependencies in System Designs and Programs |
193
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
210
click to vote
ISICT
2004
15 years 7 months ago
2004
The IPACS-project (Integrated Performance Analysis of Computer Systems) was founded by the Federal Department of Education, Science, Research and Technology (BMBF) in the program ...
206
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
197
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
161
click to vote
WSC
1997
15 years 7 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...