2662 search results - page 70 / 533 » Tools Demonstrations |
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
125
click to vote
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
DSS
2008
14 years 10 months ago
2008
While small-scale search engines in specific domains and languages are increasingly used by Web users, most existing search engine development tools do not support the development...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
One of the challenges for software architects is ensuring that an implemented system faithfully represents its architecture. We describe and demonstrate a tool, called DiscoTect, ...
ESORICS
2003
Springer
15 years 3 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...