Sciweavers

1703 search results - page 277 / 341
» Model interoperability via Model Driven Development
Sort
View
118
Voted
IPPS
2009
IEEE
15 years 9 months ago
Toward adjoinable MPI
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
Jean Utke, Laurent Hascoët, Patrick Heimbach,...
140
Voted
SEKE
2009
Springer
15 years 9 months ago
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser
159
Voted
CSFW
2006
IEEE
15 years 8 months ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
ICCV
2005
IEEE
15 years 8 months ago
Behaviour Understanding in Video: A Combined Method
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
Neil Robertson, Ian D. Reid
IEEESCC
2005
IEEE
15 years 8 months ago
Knowledge as a Service and Knowledge Breaching
In this paper, we introduce and explore a new computing paradigm we call knowledge as a service, in which a knowledge service provider, via its knowledge server, answers queries p...
Shouhuai Xu, Weining Zhang