4460 search results - page 643 / 892 » Formal methods for interactive systems |
271
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
165
click to vote
WSC
1998
15 years 7 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
182
click to vote
DIS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. One of the main goals of Discovery Science is the development and analysis of methods for automatic knowledge discovery in the natural sciences. A central area of natural...
134
click to vote
JCSS
2010
15 years 5 months ago
2010
When a file is to be transmitted from a sender to a recipient and when the latter already has a file somewhat similar to it, remote differential compression seeks to determine t...
167
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...