184 search results - page 23 / 37 » Testing Real-Time Systems Using UPPAAL |
CIC
2006
13 years 9 months ago
2006
- This paper describes the design and implementation of desktop video conference system using client-server and P2P(Peer to Peer). This systems is based on a client-server and P2P ...
HCI
2007
13 years 9 months ago
2007
This paper analyzes and discusses the ways tasks are described and perceived in a remote Think Aloud (TA) usability tests session. The paper includes reports from a study and the p...
JCIT
2008
13 years 7 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
JCP
2008
13 years 7 months ago
2008
Implantable pacemaker is a battery operated real time embedded system, which includes software/hardware codesign strategy. As it is placed within the heart by surgery, battery life...
APN
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...