1492 search results - page 167 / 299 » Integrative, model-based engineering design |
APSEC
2003
IEEE
14 years 1 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
AUIC
2002
IEEE
14 years 27 days ago
2002
IEEE
The use of groupware, or collaborative work-supporting technologies, has become wide-spread, but many existing groupware systems are too difficult to integrate with domain-specifi...
SEKE
2001
Springer
14 years 10 days ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
CODES
2000
IEEE
14 years 10 days ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...