5200 search results - page 775 / 1040 » Symbolic models for control systems |
182
click to vote
SG
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
199
click to vote
EMSOFT
2005
Springer
16 years 24 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
200
click to vote
SETP
2007
15 years 8 months ago
2007
Requirement analysis continues to be one of the most critical and challenging phases during the software development process. Many object-oriented methodologies identify three pri...
237
click to vote
PDPTA
2004
15 years 8 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...
217
click to vote
JCP
2008
15 years 7 months ago
2008
In order to implement both the efficiency and security in the Peer-to-Peer (P2P) network, we design a trusted small world overlay P2P network with the role based and reputation bas...