9730 search results - page 204 / 1946 » Relating models of backtracking |
IJLIT
2007
15 years 4 months ago
2007
Document assembly software is a technology that is fundamental to disrupting law firms. This article uses the framework set out by Clayton Christensen in The Innovator’s Dilemma...
156
click to vote
UTP
2010
15 years 2 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
137
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...
173
click to vote
CEEMAS
2001
Springer
15 years 8 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
114
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
Many co-simulation techniques either suffer from poor performance when simulating communications intensive systems, or they represent communications with a uniformly low level of ...