1587 search results - page 216 / 318 » The Semantics of Extended SOFL |
VAMOS
2007
Springer
14 years 3 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 ...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
There is a genuine demand for personalization and guidance in learning systems, as well as in general commercial learning systems for the WWW, and further, for the new, emerging S...
ICDE
2006
IEEE
14 years 3 months ago
2006
IEEE
Although the ant metaphor has been successfully applied to routing of data packets both in wireless and fixed networks, little is yet known about its applicability to the task of...
SEFM
2006
IEEE
14 years 3 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...