E-Gov projects have an increasing influence on how government business processes evolve and change. While early e-Gov projects focused on government-to-public information and inte...
In the late 1990's researchers believed that B2B markets were set to revolutionise e-procurement. New marketplaces were being created on an almost weekly basis to cater for t...
Building up spatial data infrastructures involves the task of dealing with heterogeneous data sources which often bear inconsistencies and contradictions, respectively. One main re...
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
Shoham Ben-David, Richard J. Trefler, Grant E. Wed...
In human-human conversation, people use linguistic expressions that are flexibly tailored to context as a matter of course, and they expect their conversational partners to do lik...