1146 search results - page 115 / 230 » Formal Specification Generation from Requirement Documents |
ML
2007
ACM
14 years 9 months ago
2007
ACM
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
VLSID
2003
IEEE
15 years 10 months ago
2003
IEEE
Design of efficient System-on-Chips (SoCs) require thorough application analysis to identify various compute intensive parts. These compute intensive parts can be mapped to hardwa...
106
click to vote
MT
2002
14 years 9 months ago
2002
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...
ERCIMDL
2001
Springer
15 years 2 months ago
2001
Springer
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...