Sciweavers

2324 search results - page 255 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
RTS
2006
176views more  RTS 2006»
15 years 2 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
JUCS
2007
146views more  JUCS 2007»
15 years 2 months ago
Ontology and Grammar of the SOPHIE Choreography Conceptual Framework - An Ontological Model for Knowledge Management
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
Sinuhé Arroyo
124
Voted
EMNLP
2009
15 years 10 days ago
Unsupervised morphological segmentation and clustering with document boundaries
Many approaches to unsupervised morphology acquisition incorporate the frequency of character sequences with respect to each other to identify word stems and affixes. This typical...
Taesun Moon, Katrin Erk, Jason Baldridge
92
Voted
BPM
2009
Springer
126views Business» more  BPM 2009»
15 years 6 months ago
Micro Workflow Gestural Analysis: Representation in Social Business Processes
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
Ben Jennings, Anthony Finkelstein
NLDB
2010
Springer
15 years 4 months ago
Semantic Enriching of Natural Language Texts with Automatic Thematic Role Annotation
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
Sven J. Körner, Mathias Landhäußer