1789 search results - page 231 / 358 » Extending the Choquet integral |
171
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
131
click to vote
DSN
2008
IEEE
16 years 29 days ago
2008
IEEE
Current technology trends of increased scale of integration are pushing CMOS technology into the deepsubmicron domain, enabling the creation of chips with a significantly greater...
149
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Research has shown that decentralized networks and organizations perform better and have more satisfied members than centralized ones. Further, decentralized self-organizing netwo...
184
click to vote
ICAC
2008
IEEE
16 years 28 days ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
192
click to vote
ICEIS
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract. The Internet and the Web have extended traditional business networks by allowing a Web of different digital resources to work together to create value for organizations. ...