9626 search results - page 1629 / 1926 » Invariant Based Programming |
162
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
177
click to vote
WIOPT
2006
IEEE
16 years 20 days ago
2006
IEEE
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
173
click to vote
ADBIS
2006
Springer
16 years 20 days ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
206
click to vote
ACMSE
2006
ACM
16 years 19 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
139
click to vote
AOSD
2006
ACM
16 years 19 days ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...