4048 search results - page 647 / 810 » Design Science, Engineering Science and Requirements Enginee... |
76
Voted
EPIA
1999
Springer
15 years 5 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
92
Voted
CGI
2004
IEEE
15 years 4 months ago
2004
IEEE
Computer-aided design (CAD) and 3D visualization techniques are at the heart of many engineering processes such as aircraft, ship, and automobile design. These visualization tasks...
117
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
100
click to vote
MKWI
2008
15 years 2 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
160
Voted
SIES
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...