2306 search results - page 183 / 462 » Modeling issues in a shipping system |
175
click to vote
TASE
2007
IEEE
16 years 12 days ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
189
Voted
AGTIVE
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
199
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
147
click to vote
CGF
2005
15 years 6 months ago
2005
The concept of tiled displays can be successful only if such displays are made to look like a single display perceptually. The two issues that need to be solved to achieve this go...
153
click to vote
CGF
1999
15 years 5 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...