7766 search results - page 421 / 1554 » Testing Nondeterminate Systems |
184
click to vote
SEMWEB
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Ontology matching consists of finding correspondences between ontology entities. OAEI campaigns aim at comparing ontology matching systems on precisely defined test set...
189
click to vote
ICAT
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. This paper presents an experimental test bed for exploring and evaluating human-robot interaction (HRI). Our system is designed around the concept of playing board games ...
208
click to vote
RSP
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
170
click to vote
INFOSCALE
2006
ACM
16 years 24 days ago
2006
ACM
— The University of California, Berkeley and the University of Liverpool in conjunction with the San Diego Supercomputer Center, are developing a framework for GridBased Digital ...
197
click to vote
RTAS
2005
IEEE
16 years 12 days ago
2005
IEEE
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...