3828 search results - page 66 / 766 » Proof-Based System Engineering Using a Virtual System Model |
118
Voted
IWPC
1997
IEEE
15 years 6 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...
101
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
A 3D virtual model of the human lower extremity has been developed for the purpose of examining how the neuromuscular system controls the muscles and generates the desired movement...
174
Voted
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
103
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
A model for virtual memory in a distributed memory parallel computer is proposed. It uses a novel parallel computing operating system framework and leads to the definition of two ...
148
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This work presents a multiagent framework design for DemandResponsive Transportation, considering a virtual enterprise domain. The agent architecture obtained provides a ...