Sciweavers

598 search results - page 74 / 120
» Independence Semantics for BKBs
Sort
View
126
Voted
PROMAS
2004
Springer
15 years 9 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...
132
Voted
UML
2004
Springer
15 years 9 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland
KBSE
2003
IEEE
15 years 8 months ago
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
Mehrdad Sabetzadeh, Steve M. Easterbrook
CF
2010
ACM
15 years 8 months ago
ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
Cupertino Miranda, Philippe Dumont, Albert Cohen, ...
129
Voted
WEBDB
2010
Springer
224views Database» more  WEBDB 2010»
15 years 8 months ago
Concurrent One-Way Protocols in Around-the-Clock Social Networks
We introduce and study concurrent One-Way Protocols in social networks. The model is motivated by the rise of online social networks and the fast development of automation feature...
Royi Ronen, Oded Shmueli