10159 search results - page 1771 / 2032 » System Design Validation Using Formal Models |
155
click to vote
COLING
2010
15 years 1 months ago
2010
We use robust and fast Finite-State Machines (FSMs) to solve scriptural translation problems. We describe a phonetico-morphotactic pivot UIT (universal intermediate transcription)...
163
click to vote
IPCCC
2006
IEEE
16 years 20 days ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
159
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
- This work aims to demonstrate the feasibility of using Electro-Rheological Fluid (ERF) actuators in orthotics, creating a new breed of rehabilitation devices. ERFs are fluids tha...
194
click to vote
LCTRTS
2004
Springer
16 years 12 hour ago
2004
Springer
Application specific instruction-set processors combine an efficient general purpose core with special purpose functionality that is tailored to a particular application domain. ...
184
click to vote
MAS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...