1138 search results - page 113 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
109
Voted
JIPS
2010
14 years 10 months ago
2010
Communication devices aim to provide a multimedia service without spatial or temporal limitations in an IP-based environment. However, it is incapable of allowing for fair use by c...
160
Voted
ADVIS
2006
Springer
15 years 9 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
127
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
125
Voted
ACL
2010
15 years 1 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
132
click to vote
ISQED
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...