2911 search results - page 223 / 583 » A Logic of Graph Constraints |
208
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
170
click to vote
FSTTCS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
232
click to vote
ICNC
2005
Springer
16 years 8 days ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
168
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
186
click to vote
JISBD
2003
15 years 8 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...