Sciweavers

3005 search results - page 463 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
PROMAS
2004
Springer
15 years 11 months ago
OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
Virginia Dignum, Javier Vázquez-Salceda, Fr...
ICCD
1999
IEEE
136views Hardware» more  ICCD 1999»
15 years 10 months ago
ActiveOS: Virtualizing Intelligent Memory
Current trends in DRAM memory chip fabrication have led many researchers to propose \intelligent memory" architectures that integrate microprocessors or logic with memory. Su...
Mark Oskin, Frederic T. Chong, Timothy Sherwood
ATAL
2004
Springer
15 years 10 months ago
A Model of Almost Everything: Norms, Structure and Ontologies in Agent Organizations
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
Virginia Dignum, Javier Vázquez-Salceda, Fr...
SARA
2009
Springer
15 years 11 months ago
Rewriting Constraint Models with Metamodels
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
Raphaël Chenouard, Laurent Granvilliers, Rica...
PLDI
2009
ACM
16 years 7 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...