5477 search results - page 899 / 1096 » Contexts, Domains, and Software |
157
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
192
click to vote
SCESM
2006
ACM
16 years 19 days ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
197
click to vote
CCGRID
2005
IEEE
16 years 9 days ago
2005
IEEE
The development of teaching materials for future software engineers is critical to the long term success of the Grid. At present however there is considerable turmoil in the Grid ...
169
click to vote
CIMCA
2005
IEEE
16 years 9 days ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
145
click to vote
ICAC
2005
IEEE
16 years 8 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...