3564 search results - page 309 / 713 » Evaluating a Formal Modelling Language |
154
click to vote
IGPL
2010
15 years 3 months ago
2010
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
142
Voted
ASSETS
2006
ACM
15 years 11 months ago
2006
ACM
CopyCat is an American Sign Language (ASL) game, which uses gesture recognition technology to help young deaf children practice ASL skills. We describe a brief history of the game...
140
click to vote
EUROSYS
2008
ACM
16 years 2 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
169
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
160
click to vote
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...