3130 search results - page 175 / 626 » Design Correctness of Digital Systems |
144
click to vote
ERCIMDL
2001
Springer
15 years 8 months ago
2001
Springer
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
132
click to vote
DGO
2008
15 years 5 months ago
2008
Supporting public participation is often a key goal in the design of digital government systems. However, years of work may be required before a complex system, such as the UrbanS...
163
click to vote
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
120
Voted
ITRUST
2005
Springer
15 years 9 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
124
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...