3828 search results - page 174 / 766 » Proof-Based System Engineering Using a Virtual System Model |
171
click to vote
EGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Decision making in engineering design can be effectively addressed by using genetic algorithms to solve multi-objective problems. These multi-objective genetic algorithm...
192
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
153
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
167
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
The ToolStone is a cordless, multiple degree-of-freedom (MDOF) input device that senses physical manipulation of itself, such as rotating, flipping, or tilting. As an input device...
140
click to vote
LAWEB
2005
IEEE
15 years 12 months ago
2005
IEEE
With the technology advance and the growth of Internet, the information that can be found in this net, as well as the number of users that access to look for specific data is big...