3440 search results - page 610 / 688 » Logics For Context-Free Languages |
214
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...
179
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
167
click to vote
FOAL
2008
ACM
15 years 8 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
183
click to vote
SEMWIKI
2008
15 years 8 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
203
click to vote
AIL
2007
15 years 7 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...