6474 search results - page 39 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
180
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
145
click to vote
EGOV
2007
Springer
16 years 5 days ago
2007
Springer
eVoting is a challenging approach for increasing eParticipation. However, lack of citizens’ trust seems to be a main obstacle that hinders its successful realization. In this pap...
152
click to vote
WSC
2007
15 years 8 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
180
click to vote
EKAW
2006
Springer
15 years 9 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
156
click to vote
CODES
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...