3011 search results - page 309 / 603 » Generating XML Based Specifications of Information Systems |
149
Voted
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
159
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: High throughput microarray analyses result in many differentially expressed genes that are potentially responsible for the biological process of interest. In order to ...
139
Voted
REALWSN
2010
15 years 1 months ago
2010
Over the last years Wireless Sensor Networks (WSN) have been becoming increasingly applicable for real world scenarios and now production ready solutions are available. In the same...
122
Voted
ICFEM
2000
Springer
15 years 7 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
121
Voted
SIGDIAL
2010
15 years 1 months ago
2010
We describe work done at three sites on designing conversational agents capable of incremental processing. We focus on the `middleware' layer in these systems, which takes ca...