5608 search results - page 464 / 1122 » Structure description tools |
174
click to vote
IADIS
2003
15 years 8 months ago
2003
The objective of our work is to provide some aid to the maintenance of a web site. The webmaster would like to get a semantic follow-up of the users’ browsing, but he only has a...
196
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
171
click to vote
PICS
2000
15 years 8 months ago
2000
Traditionally, quantitative image quality analytical methods rely on large hardware in fixed installations. There are many situations when portability is required, where these met...
162
click to vote
FORTE
1989
15 years 8 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
196
click to vote
WCE
2007
15 years 8 months ago
2007
—This paper proposes and uses multivariate methods as a tool to evaluate performances of the hardware of microcomputers using their performance data, speed and price. The evaluat...