1463 search results - page 215 / 293 » Model Checking Implicit-Invocation Systems |
111
click to vote
MKWI
2008
15 years 2 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
108
click to vote
FDL
2008
IEEE
15 years 1 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
123
click to vote
AEI
2007
15 years 1 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
CL
2006
Springer
15 years 1 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...