2163 search results - page 219 / 433 » cases 2004 |
166
click to vote
FORTE
2004
15 years 8 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
196
click to vote
FORTE
2004
15 years 8 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
187
click to vote
GVD
2004
15 years 8 months ago
2004
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
129
click to vote
IADIS
2004
15 years 8 months ago
2004
The development of the Automatic Sale System on Web makes possible the control and the management of sales of any type of product of a company, carried through way web. The intent...
169
click to vote
IADIS
2004
15 years 8 months ago
2004
With the emergence of the first 3G mobile technologies in everyday life, mobile phones and PDAs are able to function as more than just simple means of communication. Research on t...