448 search results - page 78 / 90 » A Meta-Method for Formal Method Integration |
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
113
click to vote
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
108
click to vote
CCS
2003
ACM
15 years 4 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
106
click to vote
CAISE
2001
Springer
15 years 4 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
ACMDIS
2000
ACM
15 years 4 months ago
2000
ACM
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...