760 search results - page 112 / 152 » Modeling the Functionality of Multi-Functional Software Syst... |
142
click to vote
APSEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
146
Voted
MICRO
2010
IEEE
15 years 29 days ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
158
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
126
Voted
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—“Autonomic systems” merge advancements in the field of multi-agent software design, dynamic analysis, and decentralized control in order to assist designers in constructing...
132
click to vote
TACS
1994
Springer
15 years 6 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...