Sciweavers

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