7554 search results - page 1445 / 1511 » Process Diagnostics: A Method Based on Process Mining |
110
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
141
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
256
click to vote
AADEBUG
2005
Springer
15 years 10 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
146
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
124
click to vote
PREMI
2005
Springer
15 years 10 months ago
2005
Springer
Images constitute data that lives in a very high dimensional space, typically of the order of hundred thousand dimensions. Drawing inferences from data of such high dimensions soon...