3440 search results - page 608 / 688 » Logics For Context-Free Languages |
185
click to vote
COOPIS
2003
IEEE
16 years 2 days ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
214
click to vote
FMCO
2003
Springer
16 years 7 hour ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
203
click to vote
FMCO
2003
Springer
16 years 7 hour ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
170
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
199
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...