6239 search results - page 987 / 1248 » From Zinc to Design Model |
155
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
164
click to vote
ALT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...
155
click to vote
HT
1991
ACM
15 years 10 months ago
1991
ACM
In order to combine hypertext with database facilities, we show how to extract an effective storage structure from given instance relationships. The schema of the structure recogn...
195
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
194
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...