Sciweavers

5904 search results - page 451 / 1181
» Requirements for a Composition Language
Sort
View
PUC
2002
107views more  PUC 2002»
15 years 6 months ago
Location Models from the Perspective of Context-Aware Applications and Mobile Ad Hoc Networks
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
Martin Bauer, Christian Becker, Kurt Rothermel
CCS
2008
ACM
15 years 9 months ago
Enforcing a security pattern in stakeholder goal models
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Ying...
CIKM
2011
Springer
14 years 7 months ago
An efficient method for using machine translation technologies in cross-language patent search
Topics in prior-art patent search are typically full patent applications and relevant items are patents often taken from sources in different languages. Cross language patent retr...
Walid Magdy, Gareth J. F. Jones
LREC
2008
90views Education» more  LREC 2008»
15 years 8 months ago
A Text-based Query Interface to OWL Ontologies
Accessing structured data in the form of ontologies requires training and learning formal query languages (e.g., SeRQL or SPARQL) which poses significant difficulties for non-expe...
Danica Damljanovic, Valentin Tablan, Kalina Bontch...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
16 years 7 days ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...