3828 search results - page 551 / 766 » Proof-Based System Engineering Using a Virtual System Model |
175
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
VRML97 allows the description of dynamic worlds that can change with both the passage of time, and user interaction. Unfortunately, the current VRML usage model prevents its full ...
198
click to vote
LCTRTS
2007
Springer
16 years 17 days ago
2007
Springer
As mobile phones become increasingly multifunctional, the number and size of applications installed in phones are rapidly increasing. Consequently, mobile phones require more hard...
219
click to vote
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...
181
click to vote
CCGRID
2005
IEEE
16 years 2 days ago
2005
IEEE
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
202
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...