10707 search results - page 1856 / 2142 » Designing executable abstractions |
169
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
190
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
During workflow design, workflow modelers generally specify the performers of a task by their organizational role. However, during workflow enactment, numerous workers with differ...
266
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
From the 1990s on, one of the most important challenges facing computer science researchers has been the design and construction of software tools to exploit Internet computing. A...
196
click to vote
IEEEICCI
2003
IEEE
16 years 14 days ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
193
click to vote
INFOCOM
2003
IEEE
16 years 14 days ago
2003
IEEE
Abstract— In this paper we analyse a feedback system consisting of a finite buffer fluid queue and a responsive source. The source alternates between silence periods and active...