420 search results - page 16 / 84 » Towards Design Tools for Protocol Development |
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
IEEECGIV
2006
IEEE
15 years 3 months ago
2006
IEEE
New technological developments offer new collaborative design environments to designers. There is a great interest in these new tools however it is clear that we know very little ...
ECBS
2007
IEEE
15 years 3 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
72
Voted
JIRS
2010
14 years 8 months ago
2010
Civilian applications for UAVs will bring these vehicles into low flying areas cluttered with obstacles such as building, trees, power lines, and more importantly civilians. The h...
KBSE
1997
IEEE
15 years 1 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...