Sciweavers

1855 search results - page 36 / 371
» System Consequence
Sort
View
DASFAA
2008
IEEE
137views Database» more  DASFAA 2008»
15 years 1 months ago
Efficient Mining of Recurrent Rules from a Sequence Database
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...
David Lo, Siau-Cheng Khoo, Chao Liu 0001
RTCSA
2003
IEEE
15 years 5 months ago
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...
Anders Wall, Johan Andersson, Jonas Neander, Chris...
ISORC
2003
IEEE
15 years 5 months ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...
FROCOS
2000
Springer
15 years 3 months ago
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
Paqui Lucio
BIS
2009
121views Business» more  BIS 2009»
14 years 9 months ago
In Quest of ICT Value through Integrated Operations: Assessment of Organisational - Technological Capabilities
Abstract. Knowledge based systems improve information interoperability, integration, and knowledge management. Consequently, there is envisioned a set of the associated business be...
Darijus Strasunskas, Asgeir Tomasgard