3432 search results - page 24 / 687 » Model Development in the UML-based Specification Environment... |
EUROMICRO
2009
IEEE
14 years 15 days ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
FDL
2007
IEEE
14 years 16 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
ECBS
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...
SIGSOFT
2001
ACM
14 years 9 months ago
2001
ACM
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to loc...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...