1788 search results - page 84 / 358 » Model Theory for Process Algebra |
118
Voted
ECIS
2001
15 years 2 months ago
2001
Despite evidence that the majority of knowledge management (KM) initiatives miscarry, there has been a paucity of critical, in-depth research into the causes of failure. In this p...
106
click to vote
FAC
2008
15 years 22 days ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
171
click to vote
ICDE
2007
IEEE
16 years 2 months ago
2007
IEEE
Database performance can be greatly affected by environmental and internal dynamics such as workloads and system configurations. Existing strategies to maintain performance under ...
67
Voted
ECIS
2003
15 years 2 months ago
2003
Defining “IS habit” as the extent to which using a particular IS has become automatic in response to certain situations, we developed a reliable and validated scale to measure...
106
Voted
APLAS
2010
ACM
15 years 27 days ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...