Sciweavers

354 search results - page 42 / 71
» Constraints of Behavioural Inheritance
Sort
View
IJCINI
2007
66views more  IJCINI 2007»
14 years 11 months ago
Language, Logic, and the Brain
Language is primarily a physical, and more particularly a biological phenomenon. To say that it is primarily so is to say that that is how, in the first instance, it presents itse...
Ray E. Jennings
AMAI
1999
Springer
14 years 11 months ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri
IFM
2010
Springer
159views Formal Methods» more  IFM 2010»
14 years 10 months ago
A Logical Framework to Deal with Variability
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
Patrizia Asirelli, Maurice H. ter Beek, Alessandro...
IEEESCC
2008
IEEE
15 years 6 months ago
Proactive Runtime Service Discovery
In this paper we describe a framework that supports runtime service discovery in both pull and push modes. Our framework supports service discovery based on structural and behavio...
Andrea Zisman, James Dooley, George Spanoudakis
IPPS
2006
IEEE
15 years 5 months ago
An evaluation of heuristics for SLA based parallel job scheduling
In the context of SLA based job scheduling for high performance grid computing, this paper investigates the behaviour of various scheduling heuristics to schedule SLA-bounded jobs...
Viktor Yarmolenko, Rizos Sakellariou