1308 search results - page 249 / 262 » Application of Hazard Analysis to Software Quality Modelling |
STORAGESS
2005
ACM
15 years 5 months ago
2005
ACM
We study cryptographic modeling and encryption-based design techniques for guaranteeing privacy of data that is first stored in some type of computer memory and then deleted. We ...
APPINF
2003
15 years 1 months ago
2003
There exist a lot of models of parallel computation, amongst which LogP and LogGP are famous and suitable to describe the framework of communication process of Beowulf LINUX Clust...
STTT
1998
14 years 11 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
125
click to vote
ICOODB
2009
14 years 9 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
TCAD
2010
14 years 6 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...