95 search results - page 7 / 19 » Organizational Model to Derive Multi-Agent Architecture from... |
SIGSOFT
2009
ACM
16 years 11 days ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
126
click to vote
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
104
click to vote
MOBISYS
2007
ACM
15 years 11 months ago
2007
ACM
Provenance becomes a critical requirement for healthcare IT infrastructures, especially when pervasive biomedical sensors act as a source of raw medical streams for large-scale, a...
118
click to vote
APSCC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
SIGSOFT
2004
ACM
16 years 11 days ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...