531 search results - page 62 / 107 » The information environments program - a new design based IT... |
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Easy-to-access and up-to-date project status feedback is an important aspect of effective project management. When project data is collected, a common problem is how to present th...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
TARK
2009
Springer
14 years 3 months ago
2009
Springer
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
ICCAD
1996
IEEE
14 years 1 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...