Sciweavers

4767 search results - page 528 / 954
» Structures for Abstract Rewriting
Sort
View
CAISE
2009
Springer
16 years 1 months ago
Deriving Information Requirements from Responsibility Models
Abstract. This paper describes research in understanding the requirements for complex information systems that are constructed from one or more generic COTS systems. We argue that,...
Ian Sommerville, Russell Lock, Tim Storer, John Do...
EPIA
2009
Springer
16 years 1 months ago
An Algorithm to Discover the k-Clique Cover in Networks
Abstract. In social network analysis, a k-clique is a relaxed clique, i.e., a kclique is a quasi-complete sub-graph. A k-clique in a graph is a sub-graph where the distance between...
Luís Cavique, Armando B. Mendes, Jorge M. A...
ESAW
2009
Springer
16 years 1 months ago
Assistance Layer in a P2P Scenario
Abstract. Usually, MAS design and implementation involves a coordination model that structures agent interactions and an infrastructure in charge of enacting it. We propose the ter...
Jordi Campos Miralles, Maite López-Sá...
FMCAD
2009
Springer
16 years 1 months ago
Finding heap-bounds for hardware synthesis
Abstract—Dynamically allocated and manipulated data structures cannot be translated into hardware unless there is an upper bound on the amount of memory the program uses during a...
Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey...
IDA
2009
Springer
16 years 1 months ago
Blind Spectral-GMM Estimation for Underdetermined Instantaneous Audio Source Separation
Abstract. The underdetermined blind audio source separation problem is often addressed in the time-frequency domain by assuming that each time-frequency point is an independently d...
Simon Arberet, Alexey Ozerov, Rémi Gribonva...