1676 search results - page 142 / 336 » Formal System Development with KIV |
136
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
124
click to vote
MASCOTS
2004
15 years 6 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
141
click to vote
BIOSYSTEMS
2008
15 years 4 months ago
2008
The metabolic P algorithm is a procedure which determines, in a biochemically realistic way, the evolution of P systems representing biological phenomena. A new formulation of thi...
151
click to vote
AAI
2006
15 years 4 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
151
click to vote
IWCMC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...