3256 search results - page 348 / 652 » Applications of Formal Methods to System Design and Verifica... |
173
click to vote
RECOSOC
2007
15 years 8 months ago
2007
Electronic equipments with higher performance, lower power consumption, and smaller size motivate the research for more efficient design methods. Platform-based design is a method...
166
click to vote
FIW
2007
15 years 8 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
172
click to vote
ICCSA
2007
Springer
16 years 24 days ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
204
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
188
click to vote
RTS
2008
15 years 6 months ago
2008
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...