635 search results - page 41 / 127 » Bridging the Gaps between Cameras |
102
click to vote
ICALT
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Systematic approaches to measuring security are needed in order to obtain evidence of the security performance of products or an organization. In this study we survey the emerging...
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
100
click to vote
RWEB
2007
Springer
15 years 6 months ago
2007
Springer
Reactive rules are used for programming rule-based, reactive systems, which have the ability to detect events and respond to them automatically in a timely manner. Such systems are...