5200 search results - page 818 / 1040 » Symbolic models for control systems |
189
click to vote
ICCAD
2003
IEEE
16 years 15 days ago
2003
IEEE
As research begins to explore potential nanotechnologies for future post-CMOS integrated systems, modeling and simulation environments must be developed that can accommodate the c...
171
click to vote
ENTCS
2007
15 years 7 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
220
click to vote
SMI
2010
IEEE
15 years 5 months ago
2010
IEEE
—The level set method can implement a wide variety of shape modeling operations (e.g. offsetting, skeletonization, morphing, blending, smoothing, sharpening, embossing, denoising...
199
click to vote
SUTC
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider a team of mobile agents where a leader has to monitor battery levels of all other agents. Only the leader is capable to transmit information to other agents. Every now...
195
click to vote
IS
2008
15 years 7 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...