Sciweavers

2806 search results - page 207 / 562
» BML and Related Tools
Sort
View
CN
2000
63views more  CN 2000»
15 years 7 months ago
Squeal: a structured query language for the Web
The Web contains an abundance of useful semi-structured information that can and should be mined. Types of structure include hyperlinks between pages, structure within hypertext p...
Ellen Spertus, Lynn Andrea Stein
SAC
2002
ACM
15 years 6 months ago
Collaborative attack modeling
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
Jan Steffan, Markus Schumacher
GC
2010
Springer
15 years 5 months ago
Intriguing Sets of Vertices of Regular Graphs
Intriguing and tight sets of vertices of point-line geometries have recently been studied in the literature. In this paper, we indicate a more general framework for dealing with t...
Bart De Bruyn, Hiroshi Suzuki
JGO
2010
75views more  JGO 2010»
15 years 5 months ago
Optimal control of a quasi-variational obstacle problem
We consider an optimal control where the state-control relation is given by a quasi-variational inequality, namely a generalized obstacle problem. We give an existence result for s...
Samir Adly, Maïtine Bergounioux, Mohamed Ait ...
ICSE
2009
IEEE-ACM
16 years 8 months ago
Discovering and representing systematic code changes
Software engineers often inspect program differences when reviewing others' code changes, when writing check-in comments, or when determining why a program behaves differentl...
Miryung Kim, David Notkin