3726 search results - page 172 / 746 » Software Services and Software Maintenance |
125
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
153
Voted
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
117
Voted
JCDL
2006
ACM
15 years 9 months ago
2006
ACM
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...
159
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
133
Voted
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
The term distributed computing conjures the image of a fixed network structure whose nodes support the execution of processes that communicate with each other via messages traveli...