3828 search results - page 386 / 766 » Proof-Based System Engineering Using a Virtual System Model |
184
Voted
GPCE
2007
Springer
16 years 27 days ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
166
click to vote
KES
2010
Springer
15 years 1 months ago
2010
Springer
E-learning continues to be used as an educational tool all over the world. However, the typical e-learning systems are sometimes not enough for students to feel a close connection ...
204
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Massively multicore processors, like, for example, Graphics Processing Units (GPUs), provide, at a comparable price, a one order of magnitude higher peak performance than traditio...
172
click to vote
JOT
2008
15 years 6 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
203
click to vote
AAAI
2007
15 years 9 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...