Sciweavers

15660 search results - page 238 / 3132
» The Unbalance of Set Systems
Sort
View
171
Voted
MA
1999
Springer
138views Communications» more  MA 1999»
15 years 11 months ago
ADK--Building Mobile Agents for Network and Systems Management from Reusable Components
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
Thomas Gschwind, Metin Feridun, Stefan Pleisch
CSFW
2007
IEEE
15 years 10 months ago
A Type Discipline for Authorization in Distributed Systems
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
Cédric Fournet, Andy Gordon, Sergio Maffeis
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
15 years 10 months ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
VLDB
1991
ACM
81views Database» more  VLDB 1991»
15 years 10 months ago
On Maintaining Priorities in a Production Rule System
We present a priority system which is particularly suited for production rules coupled to databases. In this system, there are default priorities between all rules and overriding ...
Rakesh Agrawal, Roberta Cochrane, Bruce G. Lindsay
BCSHCI
2009
15 years 8 months ago
An evaluation of a meal planning system: ease of use and perceived usefulness
Unhealthy eating is an increasingly important problem in the western society. Our approach to this problem is to provide a meal planning system giving recommendations of suitable ...
Johan Aberg