Sciweavers

16606 search results - page 38 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
120
Voted
QSIC
2008
IEEE
15 years 9 months ago
Path and Context Sensitive Inter-procedural Memory Leak Detection
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
Zhongxing Xu, Jian Zhang
124
Voted
ATAL
2007
Springer
15 years 8 months ago
Towards collaborative task and team maintenance
There is significant interest in modeling teamwork in agents. In recent years, it has become widely accepted that it is possible to separate teamwork from taskwork, providing sup...
Gal A. Kaminka, Ari Yakir, Dan Erusalimchik, Nirom...
102
Voted
JOT
2006
76views more  JOT 2006»
15 years 2 months ago
Programming with Models? Modeling with Code. The Role of Models in Software Development
on, a model is an abstraction of the real thing. In practice, engineers work with partial descriptions (models) and add/remove model at each level of abstraction. Models describe a...
Dave Thomas
116
Voted
ENTCS
2008
97views more  ENTCS 2008»
15 years 1 months ago
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
Li Su, Howard Bowman, Philip Barnard
457
Voted
EMINDS
2011
244views more  EMINDS 2011»
14 years 9 months ago
A Framework for Designers to Support Prospective Design
In this paper, we analyze the term ”prospective design” from various perspectives. The theoretical-, research- and empirical-based approximations are centralized. Furthermore, ...
Udo Schubert