2004 search results - page 372 / 401 » Interaction nets: programming language design and implementa... |
103
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
109
Voted
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
141
click to vote
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
124
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
138
click to vote
CGA
2008
15 years 3 months ago
2008
We present the design, implementation, and initial results of a system for remote lecture attendance based on extending on-campus classrooms to accommodate remotely located studen...