7206 search results - page 1070 / 1442 » Using a Hypermedia System for Systems Engineering |
112
click to vote
AVI
2008
15 years 7 months ago
2008
Pointing on screen edges is a frequent task in our everyday use of computers. Screen edges can help stop cursor movements, requiring less precise movements from the user. Thus, po...
140
click to vote
ADAEUROPE
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
145
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
147
Voted
AGI
2008
15 years 6 months ago
2008
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
124
Voted
AVI
2010
15 years 6 months ago
2010
The use of gameplay has been shown to be an excellent educational tool, especially if such games are supported by innovative and engaging technologies. This paper presents two new...