2337 search results - page 322 / 468 » Extracting Sequences from the Web |
ASIAN
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
ASUNAM
2009
IEEE
15 years 5 months ago
2009
IEEE
—Preventing adversaries from compiling significant amounts of user data is a major challenge for social network operators. We examine the difficulty of collecting profile and ...
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Virtual communities are a popular phenomenon today. They are significantly altering the specifics of how people work, spend their free time and interact socially. Moreover, they h...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Knowledge portals aim at facilitating the location, sharing and dissemination of information by sitting ontologies at the core of the system. For heterogeneous environments where c...