Sciweavers

1884 search results - page 325 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
SAFECOMP
2010
Springer
14 years 11 months ago
Reliability Analysis of Safety-Related Communication Architectures
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
Oliver Schulz, Jan Peleska
ENVSOFT
2007
96views more  ENVSOFT 2007»
15 years 17 days ago
Next Generation GRIDs for environmental science
Abstract: GRIDs technology has developed from first generation, supplier-specific and configurationspecific systems through second generation systems providing metacomputing facili...
Keith G. Jeffery
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 6 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
97
Voted
TCOM
2010
101views more  TCOM 2010»
14 years 7 months ago
Spectral efficient transmit diversity techniques without cyclic prefix for fading relay channels
Abstract--This paper proposes spectral efficient relayassisted transmit diversity techniques, i.e., space-time and space-frequency block codes (STBC/SFBC), for single carrier frequ...
Ui-Kun Kwon, Dae-Young Seol, Gi-Hong Im
AMKM
2003
Springer
15 years 5 months ago
Towards Agent-Mediated Knowledge Management
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
Ludger van Elst, Virginia Dignum, Andreas Abecker