6343 search results - page 867 / 1269 » Development of a Cartographic Language |
201
click to vote
SOSE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
198
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
186
click to vote
MOMM
2006
ACM
16 years 1 months ago
2006
ACM
Multimedia tools provide significant assistance in vast variety of different areas and one of them is education. The paper shows that such tools are especially important for const...
186
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
231
click to vote
SCESM
2006
ACM
16 years 1 months ago
2006
ACM
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...