613 search results - page 25 / 123 » Executable Visual Contracts |
EUROPAR
2009
Springer
14 years 5 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
ICALT
2007
IEEE
14 years 5 months ago
2007
IEEE
Previous research on program visualization tools has suggested that both static and dynamic aspects of the program shall be shown to novice students. We attempted to expand the st...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper studies optimal long-term electric power capacity strategies with capacity options. Gencos can sign contracts with Discos, where such contracts take the form of capacit...
HCI
2009
13 years 8 months ago
2009
Relaxing the contracted muscles involved in focus-adjustment around the eyeball, such as the ciliary body and extraocular muscles, is expected to improve pseudomyopia. This hypothe...
IJCAI
2003
14 years 9 days ago
2003
NoA is an agent architecture that supports the development of agents motivated by norms: obligations, permissions and prohibitions. Obligations motivate a normative agent to act: ...