1669 search results - page 155 / 334 » Structured Specification of Model Interpreters |
119
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
158
click to vote
TCBB
2008
15 years 3 months ago
2008
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
142
click to vote
TSP
2008
15 years 3 months ago
2008
In this paper, we consider an uplink multiple-antenna Code-Division Multiple-Access (CDMA) system linking several multiple-antenna mobile users to one multiple-antenna base-statio...
108
click to vote
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
Readers interested in the context of an event covered in the news such as the dismissal of a lawsuit can benefit from easily finding out about the overall news situation, the lega...
108
click to vote
DEXAW
1995
IEEE
15 years 7 months ago
1995
IEEE
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...