12774 search results - page 238 / 2555 » A Framework for Proof Systems |
168
click to vote
FATES
2004
Springer
16 years 19 hour ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
169
click to vote
PDPTA
2004
15 years 8 months ago
2004
File-sharing applications remain today the most representative and popular realization of the Peerto-Peer paradigm. Large objects receive an increasing amount of interest in such s...
184
click to vote
WM
2003
15 years 8 months ago
2003
: We present an implementation of a multi-agent system whose goal is to solve the problem of tacit knowledge transfer by means of sharing of experiences. In particular, we consider...
176
click to vote
ACMDIS
2004
ACM
16 years 2 days ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
205
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
: The growing sophistication of user requirements in tourism due to the advent of new technologies such as the Semantic Web and mobile computing has imposed new possibilities for i...