425 search results - page 62 / 85 » The ENTRAPID Protocol Development Environment |
111
click to vote
ASE
2002
15 years 12 days ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
99
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—With the availability of cheap and robust wireless devices there is demand for new applications in Vehicular Ad-hoc Networks (VANET). The challenge in implementing applications ...
137
click to vote
IUI
2000
ACM
15 years 4 months ago
2000
ACM
The ability to deliver appropriate information to learners at the most appropriate time is an essential component of good instruction. In the best learning environments, this info...
105
click to vote
HPCC
2005
Springer
15 years 6 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
96
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...