1121 search results - page 124 / 225 » Building Formal Requirements Models for Reliable Software |
173
click to vote
CIBSE
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
149
click to vote
KCAP
2005
ACM
15 years 9 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
133
click to vote
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
131
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
133
Voted
DSD
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...