Sciweavers

1026 search results - page 89 / 206
» Software Engineering for Self-Adaptive Systems: A Research R...
Sort
View
IUI
2000
ACM
15 years 4 months ago
Mapping communicative goals into conceptual tasks to generate graphics in discourse
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
Stephan M. Kerpedjiev, Steven F. Roth
SIGSOFT
2010
ACM
14 years 10 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
ICST
2010
IEEE
14 years 10 months ago
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzade...
CISIS
2007
IEEE
15 years 1 months ago
Task Decomposition and Delegation Algorithms for Coordinating Unstructured Multi Agent Systems
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...
António Luis Lopes, Luís Miguel Bote...
SOCO
2008
Springer
14 years 11 months ago
A face recognition system based on Pseudo 2D HMM applied to neural network coefficients
Face recognition from an image or video sequences is emerging as an active research area with numerous commercial and law enforcement applications. In this paper different Pseudo 2...
Vitoantonio Bevilacqua, Lucia Cariello, Gaetano Ca...