Sciweavers

61 search results - page 4 / 13
» Towards a Rigorous Definition of Information System Survivab...
Sort
View
IWANN
2007
Springer
14 years 1 months ago
Towards the Integration of a Bioprofile in Ocular Melanoma
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
Azzam F. Taktak, Antonio Eleuteri, Christian Setzk...
ITCC
2003
IEEE
14 years 22 days ago
Methodologies for Web Information System Design
The Web information space is rapidly growing in the size and the diversity of both its data and its audience. A consequence is that Web Information Systems (WIS) in many applicati...
Peter Barna, Flavius Frasincar, Geert-Jan Houben, ...
ICFP
2007
ACM
14 years 7 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
CACM
1998
81views more  CACM 1998»
13 years 7 months ago
Toward a Model of Type Inheritance
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
C. J. Date, Hugh Darwen
DAC
2010
ACM
13 years 11 months ago
Theoretical analysis of gate level information flow tracking
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Tim...