Sciweavers

16606 search results - page 21 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
AIME
1997
Springer
15 years 6 months ago
A Causal-Functional Model Applied to EMG Diagnosis
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
Jorge Cruz, Pedro Barahona
113
Voted
CAISE
2006
Springer
15 years 6 months ago
A Process-Ontological Model for Software Engineering
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
Jari Palomäki, Harri Keto
119
Voted
CC
2010
Springer
172views System Software» more  CC 2010»
15 years 9 months ago
Verifying Local Transformations on Relaxed Memory Models
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Sin...
SIGSOFT
2004
ACM
16 years 3 months ago
System architecture: the context for scenario-based model synthesis
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
Jeff Kramer, Jeff Magee, Robert Chatley, Sebasti&a...
88
Voted
APCCM
2004
15 years 3 months ago
Putting Integrated Information in Context: Superimposing Conceptual Models with SPARCE
A person working with diverse information sources--with possibly different formats and information models--may recognize and wish to express conceptual structures that are not exp...
Sudarshan Murthy, Lois M. L. Delcambre, David Maie...