Sciweavers

2452 search results - page 123 / 491
» The Case for Precision Sharing
Sort
View
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 2 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
IDC
2009
Springer
16 years 2 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
SIGIR
1999
ACM
15 years 12 months ago
Using a Belief Revision Operator for Document Ranking in Extended Boolean Models
This paper claims that Belief Revision can be seen as a theoretical framework for document ranking in Extended Boolean Models. For a model of Information Retrieval based on propos...
David E. Losada, Alvaro Barreiro
DATE
1998
IEEE
68views Hardware» more  DATE 1998»
15 years 12 months ago
Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems
We present an approach to process scheduling based on an abstract graph representation which captures both dataflow and the flow of control. Target architectures consist of severa...
Petru Eles, Krzysztof Kuchcinski, Zebo Peng, Alexa...
CP
2006
Springer
15 years 11 months ago
Inner and Outer Approximations of Existentially Quantified Equality Constraints
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential param...
Alexandre Goldsztejn, Luc Jaulin