5210 search results - page 345 / 1042 » Tools for Distributed Facilitation |
177
click to vote
ENTCS
2007
15 years 6 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
156
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Summary: MADE4, microarray ade4, is a software package that facilitates multivariate analysis of microarray gene expression data. MADE4 accepts a wide variety of gene expression d...
172
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
Information technology is arguably an important tool for knowledge management, facilitating learning in a business context. However, the current use of information technology in t...
184
click to vote
JAR
2000
15 years 6 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
148
click to vote
JCO
1998
15 years 6 months ago
1998
Consider the partition of a set of integers into parts. Various partition properties have been proposed in the literature to facilitate the restriction of the focus of attention to...