2004 search results - page 344 / 401 » Interaction nets: programming language design and implementa... |
117
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The Semantic Web relies on the complex interaction of several technologies involving ontologies. Therefore, sophisticated Semantic Web applications typically comprise more than on...
123
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
156
Voted
INTERACTIONS
2010
15 years 2 months ago
2010
rate, the CCHI is defined abstractly as a metric that can be stated in ordinary language and diagrams that allows people to answer the following three questions related to sustaina...
128
click to vote
DAC
2008
ACM
16 years 4 months ago
2008
ACM
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
141
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...