1617 search results - page 164 / 324 » Modeling and evaluation of hardware software designs |
164
click to vote
UIST
1996
ACM
15 years 10 months ago
1996
ACM
Most interactive graphical applications that use direct manipulation are built with low-level libraries such as Xlib because the graphic and interaction models of higher-level too...
137
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
Despite huge efforts by software providers, software protection mechanisms are still broken on a regular basis. Due to the current distribution model, an attack against one copy o...
148
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
199
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...
177
click to vote
WSC
2004
15 years 7 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...