1163 search results - page 186 / 233 » Case Studies of Model Checking for Embedded System Designs |
129
click to vote
IWPC
1998
IEEE
15 years 6 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...
137
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
One of the new trends in genetic fuzzy systems (GFS) is the use of evolutionary multiobjective optimization (EMO) algorithms. This is because EMO algorithms can easily handle two c...
116
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
132
click to vote
LOGCOM
1998
15 years 1 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
125
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...