Sciweavers

7213 search results - page 45 / 1443
» Automated model grouping
Sort
View
LICS
2003
IEEE
15 years 3 months ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon
ECSQARU
2003
Springer
15 years 3 months ago
A Random set Model for Fuzzy Labels
Jonathan Lawry, Jordi Recasens
ICLP
2003
Springer
15 years 3 months ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato
ADBIS
2004
Springer
124views Database» more  ADBIS 2004»
15 years 3 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 1 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