1308 search results - page 249 / 262 » Application of Hazard Analysis to Software Quality Modelling |
126
click to vote
STORAGESS
2005
ACM
15 years 11 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 ...
135
Voted
APPINF
2003
15 years 6 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...
144
click to vote
STTT
1998
15 years 5 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...
181
Voted
ICOODB
2009
15 years 3 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...
165
click to vote
TCAD
2010
15 years 21 hour 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...