Sciweavers

1798 search results - page 213 / 360
» Generating presentation constraints from rhetorical structur...
Sort
View
SOCO
2009
Springer
16 years 29 days ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...
CONTEXT
2005
Springer
15 years 12 months ago
Understanding Context Before Using It
This paper presents an attempt to point out some problematic issues about the understanding of context. Although frequently used in cognitive sciences or other disciplines, context...
Mary Bazire, Patrick Brézillon
WICSA
2001
15 years 7 months ago
Annotating Reusable Software Architectures with Specialization Patterns
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
CVPR
2009
IEEE
15 years 7 months ago
VideoTrek: A vision system for a tag-along robot
We present a system that combines multiple visual navigation techniques to achieve GPS-denied, non-line-of-sight SLAM capability for heterogeneous platforms. Our approach builds o...
Oleg Naroditsky, Zhiwei Zhu, Aveek Das, Supun Sama...
JAR
2008
89views more  JAR 2008»
15 years 6 months ago
An Extensible Encoding of Object-oriented Data Models in hol
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
Achim D. Brucker, Burkhart Wolff