1926 search results - page 27 / 386 » Modeling and Model Checking Software Product Lines |
75
Voted
IWPSE
2003
IEEE
15 years 2 months ago
2003
IEEE
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
The global telephone system is a complex transmission network, the features of which are defined to a very high level by ITU-T standards. It is therefore a prime candidate at whi...
96
Voted
CASSIS
2005
Springer
15 years 3 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...