1411 search results - page 179 / 283 » Case Studies of an Insider Framework |
KI
2002
Springer
13 years 9 months ago
2002
Springer
Both public and private organizations have been accumulating large volumes of electronically available text documents for the past years. However, to turn text archives into profi...
JSA
2008
13 years 9 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...