Sciweavers

1781 search results - page 194 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
PERCOM
2006
ACM
16 years 6 months ago
Semantic Indexing for Recorded Educational Lecture Videos
In this paper, we present a general architecture and a new retrieval method for an educational system that is based on a knowledge base of existing recorded lectures. The extracti...
Stephan Repp, Christoph Meinel
ER
2004
Springer
139views Database» more  ER 2004»
15 years 12 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
POPL
2010
ACM
16 years 3 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
WCNC
2008
IEEE
16 years 27 days ago
On the Deployment of Mobile Trusted Modules
— In its recently published TCG Mobile Reference Architecture, the TCG Mobile Phone Work Group specifies a new concept to enable trust into future mobile devices. For this purpo...
Andreas U. Schmidt, Nicolai Kuntze, Michael Kasper
ICSM
2009
IEEE
16 years 1 months ago
Expert recommendation with usage expertise
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...
David Ma, David Schuler, Thomas Zimmermann, Jonath...