3624 search results - page 301 / 725 » Abstract Algebraic Logic |
167
click to vote
LCTRTS
2005
Springer
16 years 1 days ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
157
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...
203
click to vote
SBCCI
2003
ACM
15 years 11 months ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...
194
click to vote
ADL
1998
Springer
15 years 10 months ago
1998
Springer
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
167
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...