1676 search results - page 324 / 336 » Formal System Development with KIV |
130
Voted
VISUALIZATION
2000
IEEE
15 years 8 months ago
2000
IEEE
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...
150
Voted
C5
2004
IEEE
15 years 7 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
116
Voted
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
160
Voted
IFIP12
2004
15 years 5 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...
144
Voted
IFIP3
1998
15 years 5 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...