5451 search results - page 720 / 1091 » Typed Operational Semantics |
177
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, a State-Based Dynamic Transportation Network (SBDTN) model is presented, which can be used to describe the spatiotemporal aspect of temporally variable transportatio...
178
Voted
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...
138
click to vote
BIS
2007
15 years 8 months ago
2007
In this paper, we explore a framework for researching relationships between community characteristics and regulation principles. Different regulation principles are supported by d...
210
click to vote
CIDR
2007
15 years 8 months ago
2007
Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations,...
174
click to vote
IKE
2007
15 years 8 months ago
2007
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...