7209 search results - page 544 / 1442 » Software Engineering for Multi-Agent Systems |
113
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
115
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
The new generation of television viewers is currently being confronted and becoming acquainted with a series of technological developments in the realm of consumer electronics and...
130
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
156
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Software development tools primarily focus on supporting the technical work. Yet no matter the tools employed, the process followed, or the size of the team, important aspects of ...
157
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...