1588 search results - page 288 / 318 » On the Logic of Constitutive Rules |
129
click to vote
CLUSTER
2005
IEEE
15 years 7 months ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
124
click to vote
STEP
2005
IEEE
15 years 6 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...
136
click to vote
WCFLP
2005
ACM
15 years 6 months ago
2005
ACM
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...