Sciweavers

4126 search results - page 107 / 826
» Relationships with other Formalisms
Sort
View
CBSE
2009
Springer
16 years 27 days ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin
JCDL
2003
ACM
129views Education» more  JCDL 2003»
15 years 11 months ago
XML Semantics and Digital Libraries
The lack of a standard formalism for expressing the semantics of an XML vocabulary is a major obstacle to the development of high-function interoperable digital libraries. XML doc...
Allen Renear, David Dubin, C. M. Sperberg-McQueen,...
APLAS
2010
ACM
15 years 6 months ago
Model Independent Order Relations for Processes
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
Chaodong He
ISWC
1999
IEEE
15 years 10 months ago
The Conference Assistant: Combining Context-Awareness with Wearable Computing
We describe the Conference Assistant, a prototype mobile, context-aware application that assists conference attendees. We discuss the strong relationship between context-awareness...
Anind K. Dey, Daniel Salber, Gregory D. Abowd, Mas...
FOIS
2006
15 years 7 months ago
A Reusable Ontology for Fluents in OWL
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
Christopher A. Welty, Richard Fikes