10038 search results - page 430 / 2008 » Model Checking for Managers |
175
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
210
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a data oriented approach to modeling the complex computing systems, in which an ensemble of correlation models are discovered to represent the system status. I...
189
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Enterprises require mechanisms to ensure that their business processes implement and fulfill internal controls in context of regulatory compliance such as Sarbanes Oxley Act. In th...
186
click to vote
ISTA
2008
15 years 8 months ago
2008
As XML data storage and interchange become ubiquitous, analysts and data engineers increasingly need tools to model their data and map it to XML schemas and to reverse engineer XML...
178
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...