713 search results - page 55 / 143 » Viewcharts: Syntax and Semantics |
107
click to vote
PROMAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...
114
click to vote
VAMOS
2007
Springer
15 years 10 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 ...
127
click to vote
ICMCS
2006
IEEE
15 years 10 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 ...
131
click to vote
DATE
2005
IEEE
15 years 9 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...
131
click to vote
DEEC
2005
IEEE
15 years 9 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...