Sciweavers

420 search results - page 41 / 84
» Semantic composition process in a speech understanding syste...
Sort
View
IEEEHPCS
2010
15 years 4 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
HICSS
2003
IEEE
139views Biometrics» more  HICSS 2003»
15 years 11 months ago
Modeling of information dominance in complex systems: A system partitioning and hybrid control framework
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
John R. James
EMSOFT
2004
Springer
15 years 11 months ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten
CAISE
2005
Springer
15 years 11 months ago
An MDD annotation methodology for Semantic Enhanced Service Oriented Architectures
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
Lorenzo Pondrelli
166
Voted
ANLP
2000
114views more  ANLP 2000»
15 years 7 months ago
A Tool for Automated Revision of Grammars for NLP Systems
We present an algorithm and a tool for automatically revising grammars for natural language processing (NLP) systems to disallow specifically identified sentences or sets of sente...
Nanda Kambhatla, Wlodek Zadrozny