1816 search results - page 290 / 364 » Formal Concepts of Learning Systems Validation in Use |
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
IADIS
2004
15 years 1 months ago
2004
An important concern in web based educational environment is the task of designing and preparing learner assessment, which would enhance the learning process. Currently the majori...
EGC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe the idea of a Science Gateway, an applicationspecific task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...
107
click to vote
SIGSOFT
2009
ACM
16 years 18 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...