4109 search results - page 356 / 822 » Issues in Design and Implementation of Multimedia Software S... |
184
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
168
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
176
click to vote
MHCI
2005
Springer
16 years 6 days ago
2005
Springer
Camera phones have been viewed simplistically as digital cameras with poor picture quality while neglecting the utility of the two key functionalities of mobile phones: network co...
205
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
184
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...