1054 search results - page 72 / 211 » Guarded Expressions in Practice |
VTC
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper, we provide a framework for the asymptotic performance analysis of space–time codes (STCs) in correlated Ricean fading and non–Gaussian noise and interference...
105
click to vote
REFSQ
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
101
click to vote
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
107
click to vote
CC
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...