Sciweavers

4747 search results - page 159 / 950
» Application Experience with a Repository System for Informat...
Sort
View
VSTTE
2005
Springer
14 years 1 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
SIGMOD
2003
ACM
126views Database» more  SIGMOD 2003»
14 years 8 months ago
Issues in data stream management
Traditional databases store sets of relatively static records with no pre-defined notion of time, unless timestamp attributes are explicitly added. While this model adequately rep...
Lukasz Golab, M. Tamer Özsu
DSN
2011
IEEE
12 years 7 months ago
Communix: A framework for collaborative deadlock immunity
—We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. D...
Horatiu Jula, Pinar Tözün, George Candea
ASPDAC
2006
ACM
93views Hardware» more  ASPDAC 2006»
14 years 1 months ago
Open access overview "industrial experience"
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
Yoshio Inoue
MMNS
1997
121views Multimedia» more  MMNS 1997»
13 years 9 months ago
Experiences in integrated multi-domain service management
Increased competition, complex service provision chains and integrated service offerings require effective techniques for the rapid integration of telecommunications services and ...
David Lewis, Thanassis Tiropanis, Alistair McEwan,...