3256 search results - page 348 / 652 » Applications of Formal Methods to System Design and Verifica... |
203
Voted
RECOSOC
2007
15 years 9 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...
197
click to vote
FIW
2007
15 years 9 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 ...
190
click to vote
ICCSA
2007
Springer
16 years 1 months 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...
243
click to vote
IAT
2008
IEEE
16 years 2 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...
219
click to vote
RTS
2008
15 years 7 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...