Sciweavers

21379 search results - page 567 / 4276
» The profession of IT - Evolutionary system development
Sort
View
KES
2006
Springer
15 years 7 months ago
DAWN - A System for Context-Based Link Recommendation in Web Navigation
Abstract. We have developed the system "DAWN" (direction anticipation in web navigation) that learns navigational patterns to help users navigating through the world wide...
Sebastian Stober, Andreas Nürnberger
156
Voted
TSMC
2008
113views more  TSMC 2008»
15 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
JSC
2007
152views more  JSC 2007»
15 years 7 months ago
Complete involutive rewriting systems
Given a monoid string rewriting system M, one way of obtaining a complete rewriting system for M is to use the classical Knuth-Bendix critical pairs completion algorithm. It is we...
Gareth A. Evans, Christopher D. Wensley
COLING
2002
15 years 7 months ago
Reasoning in Metaphor Understanding: The ATT-Meta Approach and System
A detailed approach has been developed for core aspects of the task of understanding a broad class of metaphorical utterances. The utterances in question are those that depend on ...
John A. Barnden, Sheila Glasbey, Mark G. Lee, Alan...
DKE
2002
118views more  DKE 2002»
15 years 7 months ago
Consistent policy enforcement in distributed systems using mobile policies
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
Susan Chapin, Donald B. Faatz, Sushil Jajodia, Amg...