3719 search results - page 352 / 744 » RACER System Description |
186
click to vote
SFM
2007
Springer
16 years 27 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
187
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
139
Voted
ICDCSW
2005
IEEE
16 years 11 days ago
2005
IEEE
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
159
click to vote
AIIA
2005
Springer
16 years 10 days ago
2005
Springer
Recognition of textual entailment is not an easy task. In fact, early experimental evidences in [1] seems to demonstrate that even human judges often fail in reaching an agreement ...
163
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
In the beginning, one of the main fields of application of graph transformation was biology, and more specifically morphology. Later, however, it was like if the biological appli...