713 search results - page 80 / 143 » Syntax and Semantics of Babel-17 |
VAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
88
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
99
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
95
Voted
DEEC
2005
IEEE
15 years 6 months ago
2005
IEEE
Electronic Data Interchange (EDI) standards for transmission of business messages were promulgated in the 1970s. As standards became more complex to provide additional message typ...
96
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
At FXPAL Japan we have built an (experimental) Smart Conference Room (SCR) that contains multiple cameras, microphones, displays, and capture devices. Based on our experience, in ...