377 search results - page 42 / 76 » A Case Study based Software Engineering Education using Open... |
CCS
2008
ACM
13 years 9 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...
EICS
2009
ACM
14 years 2 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
IWPC
2010
IEEE
13 years 6 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
ICSE
1997
IEEE-ACM
13 years 12 months ago
1997
IEEE-ACM
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Current Application Specific Instruction set Processor (ASIP) design methodologies are mostly based on iterative architecture exploration that uses Architecture Description Langua...