Sciweavers

7213 search results - page 45 / 1443
» Automated model grouping
Sort
View
LICS
2003
IEEE
15 years 11 months ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon
ECSQARU
2003
Springer
15 years 11 months ago
A Random set Model for Fuzzy Labels
Jonathan Lawry, Jordi Recasens
ICLP
2003
Springer
15 years 11 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
15 years 11 months ago
Database Caching - Towards a Cost Model for Populating Cache Groups
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...
Theo Härder, Andreas Bühmann
GROUP
1991
ACM
15 years 9 months ago
Extending electronic mail with conceptual modeling to provide group decision support
: This paper reports an attempt to move computer-based techniques for supporting the analysis of group cognitive processes and decision-making from being specialist applications to...
Mildred L. G. Shaw, Brian R. Gaines