15754 search results - page 533 / 3151 » Programs are Knowledge Bases |
178
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we present our current work on a UML based environment providing efficient means for system
182
click to vote
CONCUR
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
191
Voted
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
The European Accessible Information Network (EUAIN) was established to support the move to incorporate accessibility within mainstream content processing environments. EUAIN has b...
219
click to vote
BMCBI
2004
15 years 7 months ago
2004
Background: Conserved protein sequence motifs are short stretches of amino acid sequence patterns that potentially encode the function of proteins. Several sequence pattern search...
169
Voted
SCAM
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...