247 search results - page 47 / 50 » Perspectives in Probabilistic Verification |
DAC
2005
ACM
14 years 10 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Although existing work has explored both information extraction and community content creation, most research has focused on them in isolation. In contrast, we see the greatest le...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
ISESE
2006
IEEE
14 years 3 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
W4A
2005
ACM
14 years 3 months ago
2005
ACM
Awareness of Web accessibility is spreading all over the world among Web designers and developers, due to regulations such as the US law called Section 508 and guidelines like the...