4902 search results - page 347 / 981 » Multi-agent Systems Methodology |
181
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Rapid design space exploration with accurate models is necessary to improve designer productivity at the electronic system level. We describe how to use a new event-based design f...
151
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
168
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The industry is merging two different Wireless Personal Area Networks (WPAN) technologies: Bluetooth (BT) and WiMedia Ultra Wide Band (UWB), into a single BT over UWB (BToUWB) spe...
203
click to vote
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
166
Voted
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
—In this paper, we propose a vibration driven energy harvesting platform based on piezoelectric material. A new maximum power point tracking (MPPT) method for this platform is al...