3119 search results - page 546 / 624 » Abstract Requirement Analysis in Multiagent System Design |
125
Voted
ESOP
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
133
Voted
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
194
Voted
TLDI
2010
ACM
16 years 16 days ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
137
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
143
Voted
IISWC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...