Sciweavers

2028 search results - page 375 / 406
» Deriving Relation Keys from XML Keys
Sort
View
GRID
2008
Springer
15 years 3 months ago
Can Economics-based Resource Allocation Prove Effective in a Computation Marketplace?
Several companies offer computation on demand for a fee. More companies are expected to enter this business over the next decade, leading to a marketplace for computation resource...
Kevin L. Mills, Christopher Dabrowski
134
Voted
IDT
2008
123views more  IDT 2008»
15 years 3 months ago
A rich semantic model of track as a foundation for sharing beliefs regarding dynamic objects and events
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
Frederick Hayes-Roth, Curtis L. Blais
ENTCS
2006
128views more  ENTCS 2006»
15 years 3 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
CAD
2007
Springer
15 years 3 months ago
A new digital human environment and assessment of vehicle interior design
Vehicle interior design directly relates to driver performance measures such as comfort, efficiency, risk of injury, and vehicle safety. A digital human is a convenient tool for ...
Jingzhou Yang, Joo H. Kim, Karim Abdel-Malek, Timo...
JDFP
2006
139views more  JDFP 2006»
15 years 3 months ago
Discovering Hidden Evidence
Over the past decade, the advancement of a myriad of methods, techniques and technologies to conceal digital evidence and covertly communicate have increased at an alarming rate. I...
Chet Hosmer