96 search results - page 12 / 20 » What Makes Industries Believe in Formal Methods |
ICDM
2003
IEEE
14 years 28 days ago
2003
IEEE
Traditional methods for frequent itemset mining typically assume that data is centralized and static. Such methods impose excessive communication overhead when data is distributed...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
AGENTS
2001
Springer
14 years 5 days ago
2001
Springer
In the software industry, designers are forever trying to “improve” their products by adding ever more features to them, producing bloated software systems that are capable of...
KDD
2004
ACM
14 years 8 months ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...