2004 search results - page 266 / 401 » Comparison of Model Checking Tools for Information Systems |
152
click to vote
ISMAR
2002
IEEE
15 years 9 months ago
2002
IEEE
This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes the realisation of an in-house designed Tangible Use...
151
click to vote
ISMB
1993
15 years 5 months ago
1993
Interactions that determinecellular fate are exceedingly complex, can take place at different levels of gene regulation and involve a large numberof components(such as genes, prot...
128
Voted
LREC
2010
15 years 6 months ago
2010
Without any doubt corpora are vital tools for linguistic studies and solution for applied tasks. Although corpora opportunities are very useful, there is a need of another kind of...
120
Voted
ER
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
165
Voted
BPM
2009
Springer
15 years 5 months ago
2009
Springer
Nowadays, all kinds of information systems store detailed information in logs. Examples of such systems include classical workflow management systems (Staffware), ERP systems (SAP)...