Sciweavers

4335 search results - page 620 / 867
» Ontology Engineering Relationally
Sort
View
VMCAI
2005
Springer
15 years 11 months ago
Cryptographic Protocol Analysis on Real C Code
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
Jean Goubault-Larrecq, Fabrice Parrennes
XPU
2005
Springer
15 years 11 months ago
XP South of the Equator: An eXPerience Implementing XP in Brazil
Many have reported successful experiences using XP, but we have not yet seen many experiences adapting agile methodologies in developing countries such as Brazil. In a developing e...
Alexandre Freire da Silva, Fabio Kon, Cicero Torte...
ACMSE
2004
ACM
15 years 11 months ago
Topic-based clustering of news articles
Recent years have witnessed an explosion in the availability of news articles on the World Wide Web. Although searchengines’ algorithms have made it easier to locate these docum...
Najaf Ali Shah, Ehab M. ElBahesh
AOSD
2004
ACM
15 years 11 months ago
Association aspects
We propose a linguistic mechanism for AspectJ-like languages that concisely associates aspect instances to object groups. The mechanism, which supports association aspects, extend...
Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayash...
PASTE
2004
ACM
15 years 11 months ago
Elided conditionals
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
Manos Renieris, Sébastien Chan-Tin, Steven ...