3688 search results - page 459 / 738 » Static analysis of aspects |
223
click to vote
JCSS
2011
15 years 1 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
201
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper deals with the 3D shape estimation from silhouette cues of multiple moving objects in general indoor or outdoor 3D scenes with potential static obstacles, using multipl...
315
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
Relational schema mappings have been extensively studied in connection with data integration and exchange problems, but mappings between XML schemas have not received the same amo...
285
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
293
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...