9145 search results - page 160 / 1829 » Description Logic Systems |
163
click to vote
EWSA
2004
Springer
15 years 10 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
157
click to vote
FDL
2011
IEEE
14 years 5 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
158
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
145
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...