3828 search results - page 410 / 766 » Proof-Based System Engineering Using a Virtual System Model |
205
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
Information retrieval systems (e.g., web search engines) are critical for overcoming information overload. A major deficiency of existing retrieval systems is that they generally...
187
click to vote
VRML
1997
ACM
15 years 11 months ago
1997
ACM
Collision detection is essential for many applications involving simulation, behavior and animation. However, it has been regarded as a computationallydemanding task and is often ...
200
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
173
click to vote
EJC
2010
15 years 1 months ago
2010
We all use our associative memory constantly. Words and concepts form paths that we can follow to find new related concepts; for example, when we think about a car we may associate...
185
click to vote
FLAIRS
2003
15 years 8 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...