14 search results - page 2 / 3 » Explicit assumptions enrich architectural models |
CODES
2003
IEEE
13 years 11 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
SPLC
2004
13 years 7 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
VLSID
2003
IEEE
14 years 6 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
KBSE
2009
IEEE
14 years 11 days ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...