4978 search results - page 919 / 996 » Logical models of argument |
139
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
One of the main reasons behind unfruitful software development projects is that it is often too late to correct the problems by the time they are detected. It clearly indicates th...
133
Voted
IRI
2003
IEEE
15 years 9 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
132
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
123
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
149
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...