Sciweavers

3819 search results - page 213 / 764
» An Outsourcing Model of Software Development
Sort
View
MMS
2008
15 years 4 months ago
Process modeling for new media artworks
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
Brigitte Kerhervé, Olivier Gerbé, Pa...
UTP
2010
15 years 2 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
GCSE
2001
Springer
15 years 9 months ago
Components, Interfaces and Information Models within a Platform Architecture
In this paper we describe our experiences with the development of a platform in the medical imaging domain. Three important ingredients of this platform are components, interfaces...
Jan Gerben Wijnstra
CODES
1999
IEEE
15 years 8 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
ESEM
2007
ACM
15 years 8 months ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba