BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
The concept of active knowledge implementation on the basis of the theory of structural program synthesis, modern technologies and their necessary developments are considered. The ...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
Soft constraints have proved to be a versatile tool for the specification and implementation of decision making in adaptive systems. A plethora of formalisms have been devised to ...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. Petri games, introduced in recent joint work with ErnstR¨udiger Olderog, are an extension of Petri nets for the causality-based synthesis of distributed systems. In a Pe...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
Let α ∈ (0, 1)R be irrational and Gn = Gn,1/nα be the random graph with edge probability 1/nα; we know that it satisfies the 0-1 law for first order logic. We deal with the ...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
The aim of the paper is to present a theory agenda for component-based design based on results that motivated the development of the BIP component framework, to identify open probl...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conc...
BIRTHDAY
2015
Springer
8 years 8 months ago
2015
Springer
PRDC
2015
IEEE
8 years 8 months ago
2015
IEEE
—Archival data storage systems contain data that must be preserved over long periods of time but which are often unlikely to be accessed during their lifetime. The best strategy ...
PRDC
2015
IEEE
8 years 8 months ago
2015
IEEE
Abstract—We present a disk array organization that can survive three simultaneous disk failures while only using exclusiveor operations to calculate the parities that generate th...