2210 search results - page 28 / 442 » Applying a Model-based Approach for Embedded System Developm... |
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
IPC
2007
IEEE
14 years 1 months ago
2007
IEEE
Location systems are core technologies for enabling pervasive computing smart spaces. Signal Strength based location estimation offers economical viability and sufficient accurac...
AAAI
1994
13 years 9 months ago
1994
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
ECBS
2003
IEEE
14 years 28 days ago
2003
IEEE
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...
AAAI
1996
13 years 9 months ago
1996
An important problem faced by auditors is gauging how much reliance can be placed on the accounting systems that process millions of transactions to produce the numbers summarized...