4520 search results - page 375 / 904 » Algebraic Techniques for Timed Systems |
192
click to vote
ASE
2008
15 years 7 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
220
click to vote
JUCS
2008
15 years 7 months ago
2008
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
192
click to vote
RAS
2007
15 years 7 months ago
2007
In free-floating mode, space manipulator systems have their actuators turned off, and exhibit nonholonomic behavior due to angular momentum conservation. The system is underactua...
166
click to vote
JUCS
2010
15 years 6 months ago
2010
: The Gabor filter aided diagnosis system for 3-dimensional ultra-sonography (3DUS) under the WLAN environment is introduced. Due to the important relationship between breast tumou...
213
click to vote
TC
2010
15 years 2 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...