909 search results - page 43 / 182 » Temporal Logic Case Study |
DEXA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Temporal data are abundantly present in many application domains such as banking, financial, clinical, geographical applications and so on. Temporal data have been extens...
JOT
2007
13 years 8 months ago
2007
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
DASFAA
2008
IEEE
13 years 10 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
CONCUR
1999
Springer
14 years 1 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
CSMR
2007
IEEE
14 years 3 months ago
2007
IEEE
Despite the conventional wisdom concerning the risks related to the use of source code cloning as a software development strategy, several studies appeared in literature indicated...