Tag 1990 [70 articles] Export

Recent papers classified by the tag 1990.

	Cigarette smoking and liver cancer among US veterans. [My Copy] Cancer causes & control : CCC, Vol. 1, No. 3. (November 1990), pp. 217-221. by A. W. Hsing, J. K. McLaughlin, Z. Hrubec, W. J. Blot, J. F. Fraumeni posted to smoke hcc 1990 by sosiegmund on 2009-09-23 12:01:10 as
	Data cache management using frequency-based replacement [My Copy] SIGMETRICS Perform. Eval. Rev., Vol. 18, No. 1. (1990), pp. 134-142. by John T. Robinson, Murthy V. Devarakonda posted to cache 1990 by maropu on 2009-09-17 09:46:53 as
	Introduction to the Theory of Programming Languages [My Copy] (1990) by Bertrand Meyer posted to programming languages-theory 1990 by emiliorp on 2009-08-28 12:10:14 as
	Fault-tolerance in the advanced automation system [My Copy] In EW 4: Proceedings of the 4th workshop on ACM SIGOPS European workshop (1990), pp. 6-17. by Flaviu Cristian, Bob Dancey, Jon Dehn posted to highly-available fault-tolerant 1990 by adriancolesa to the group Highly-Available Services at UTCN on 2009-08-25 13:53:10 as
	A model of reconfiguration in communicating sequential processes [My Copy] Information Processing Letters, Vol. 35, No. 1. (15 June 1990), pp. 19-22. by Jeremy L. Jacob posted to 1990 csp distributed reconfigurable semantics software-engineering specification system operating-system by michaelbanks on 2009-07-13 17:57:55 as
	A specifier's introduction to formal methods [My Copy] Computer In Computer, Vol. 23, No. 9. (1990), pp. 8, 10-22, 24. by J. M. Wing posted to 1990 462c languages-theory mathematical-form by emiliorp on 2009-06-23 11:50:16 as along with 1 person michaelbanks
	A Comparison of Latino, Black, and Non-Hispanic White Attitudes Toward Homosexuality [My Copy] Hispanic Journal of Behavioral Sciences, Vol. 12, No. 4. (1 November 1990), pp. 437-452. by Louis Bonilla, Judith Porter posted to 1990 and bonilla hjbs porter by aasewell on 2009-06-18 21:10:26 as
	Categorising non-interference [My Copy] Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50. by Jeremy L. Jacob posted to unwinding theory security property noninterference information-flow category-theory 1990 by michaelbanks on 2009-06-09 10:45:57 as
	Skip lists: a probabilistic alternative to balanced trees [My Copy] Commun. ACM, Vol. 33, No. 6. (June 1990), pp. 668-676. by William Pugh posted to 1990 datastructures by dmeister on 2009-06-03 12:57:32 as along with 5 people mogwaing AbnerCYH neveaire myui tumo
	Model Theory (Studies in Logic and the Foundations of Mathematics) [My Copy] (01 June 1990) by C. C. Chang, H. J. Keisler posted to 1990 2234 mathematical-form model-theory by emiliorp on 2009-05-31 19:38:44 as along with 1 person robotact
	Women, Fire, and Dangerous Things: What Categories Reveal About the Mind [My Copy] by George Lakoff posted to 1990 4589c model-theory by emiliorp on 2009-05-25 22:29:11 as
	Transportation Demand Management Planning, Development, and Implementation [My Copy] Journal of the American Planning Association, Vol. 56, No. 4. (1990), pp. 442-456. by Erik Ferguson posted to 1990 by kasteele11 on 2009-05-23 19:46:48 as
	Software Testing Techniques [My Copy] (1990) by Boris Beizer posted to 1990 book software testing by michaelbanks on 2009-05-23 14:10:34 as along with 3 people stabletree gameweld gfraser
	The Principles of Design (Oxford Series on Advanced Manufacturing) [My Copy] (01 March 1990) by Nam P. Suh posted to 1990 axiomatic-design design mit by whutabarat on 2009-05-13 15:08:25 as along with 5 people and 2 groups kenenglish jolilius shuanlo aku8000 pe3 TUCS-ES_Lab NanyangCHFE
	Safety and liveness from a methodological point of view [My Copy] Information Processing Letters, Vol. 36, No. 1. (1 October 1990), pp. 25-30. by Frank Dederichs, Rainer Weber posted to 1990 liveness property safety by michaelbanks on 2009-05-08 10:36:01 as
	On the expressive power of programming languages [My Copy] ESOP '90 In ESOP '90, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen posted to 1990 expressiveness language programming by michaelbanks on 2009-05-01 14:43:47 as
	Systematic software development using VDM [My Copy] (1990) by Cliff B. Jones posted to 1990 book development formal-methods software vdm by michaelbanks on 2009-04-24 11:47:45 as
	Predicate calculus and program semantics [My Copy] (1990) by Edsger W. Dijkstra, Carel S. Scholten posted to 1990 book formal predicate-calculus program semantics by michaelbanks on 2009-04-24 11:07:25 as along with 1 person leonardo
	Seven myths of formal methods [My Copy] IEEE Software In IEEE Software, Vol. 7, No. 5. (September 1990), pp. 11-19. by Anthony Hall posted to 1990 criticism development formal-methods software by michaelbanks on 2009-04-23 11:34:07 as along with 2 people mishra_satish dhein1030
	Single table access using multiple indexes: optimization, execution, and concurrency control techniques [My Copy] In EDBT '90: Proceedings of the 2nd international conference on extending database technology (1990), pp. 29-43. by C. Mohan, Don Haderle, Yun Wang, Josephine Cheng posted to 1990 database edbt index query-optimization by mogwaing on 2009-04-08 12:49:26 as
	Linear clustering of objects with multiple attributes [My Copy] In SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data (1990), pp. 332-342. by H. V. Jagadish posted to 1990 algorithm clustering indexing sigmod-record by mogwaing on 2009-04-08 09:37:56 as along with 1 person youngh
	The generalized grid file: description and performance aspects [My Copy] Data Engineering, 1990. Proceedings. Sixth International Conference on In Data Engineering, 1990. Proceedings. Sixth International Conference on (1990), pp. 380-388. by H. Blanken, A. Ijbema, P. Meek, B. van den Akker posted to 1990 grid-file icde by mogwaing on 2009-04-07 07:52:27 as
	The LFS Storage Manager [My Copy] In Proceedings of the 1990 Summer Usenix (1990), pp. 315-324. by Mendel Rosenblum, John K. Ousterhout posted to 1990 file-system log-structured by mogwaing on 2009-03-31 04:05:55 as
	Kriging: a method of interpolation for geographical information systems [My Copy] International Journal of Geographical Information Science, Vol. 4, No. 3. (1990), pp. 313-332. by M. A. Oliver, R. Webster posted to 1990 gis kriging by ddahlem on 2009-03-29 15:54:16 as along with 1 person hsyoon
	The origins of kriging [My Copy] Mathematical Geology, Vol. 22, No. 3. (1 April 1990), pp. 239-252. by Noel Cressie posted to 1990 kriging origins by ddahlem on 2009-03-29 15:32:46 as along with 2 people hsyoon ricckli
	Reverse hydrophobic effects relieved by amino-acid substitutions at a protein surface. [My Copy] Nature, Vol. 344, No. 6264. (22 March 1990), pp. 363-364. by A. A. Pakula, R. T. Sauer posted to 1990 buried-surface thermo by higueruelo on 2009-03-18 11:14:41 as
	A very fast substring search algorithm [My Copy] Commun. ACM, Vol. 33, No. 8. (August 1990), pp. 132-142. by Daniel M. Sunday posted to 1990 algorithm search by mogwaing on 2009-03-05 06:44:49 as along with 1 person myui
	Renaming in an asynchronous environment [My Copy] J. ACM, Vol. 37, No. 3. (1990), pp. 524-548. by Hagit Attiya, Amotz B. Noy, Danny Dolev, David Peleg, Rüdiger Reischuk posted to 1990 asynchronous renaming by adriancolesa on 2009-02-11 13:19:38 as along with 1 person xingwuliu
	Harmonising Computer Crime Laws in Europe [My Copy] European Journal of Crime, Criminal Law and Criminal Justice, Vol. 12, No. 4., 321. by Ian Walden posted to 1990 cma by MissShapiro on 2009-02-04 15:10:34 as
	Zukunftswerkstätten. Mit Phantasie gegen Routine und Resignation [My Copy] (1990) by Robert Jungk, Norbert R. Müllert posted to 1990 ausleihe_seifried creativity kreativitaet team zukunftswerkstatt by Torsten_Holmer on 2009-01-15 14:34:12 as
	Guidelines for reporting results of computational experiments. Report of the ad hoc committee [My Copy] Mathematical Programming, Vol. 49, No. 1. (1 November 1990), pp. 413-425. by Richard H. Jackson, Paul T. Boggs, Stephen G. Nash, Susan Powell posted to 1990 experiments reporting by japarejo on 2008-12-30 10:44:14 as along with 1 person segura
	Hidden assumptions in cryptographic protocols [My Copy] IEE Proceedings Computers and Digital Techniques In IEE Proceedings Computers and Digital Techniques, Vol. 137, No. 6. (November 1990), pp. 433-436. by Colin Boyd posted to cipher-block-chaining 1990 needham-schroeder otway-rees protocol security type-flaw by michaelbanks on 2008-12-04 13:42:06 as
	Knowledge and Common Knowledge in a Distributed Environment [My Copy] Journal of the ACM, Vol. 37, No. 3. (1990), pp. 549-587. by Joseph Y. Halpern, Yoram Moses posted to 1990 distributed knowledge logic protocol reasoning by michaelbanks on 2008-11-27 11:33:17 as
	The SeaView security model [My Copy] IEEE Transactions on Software Engineering In IEEE Transactions on Software Engineering, Vol. 16, No. 6. (June 1990), pp. 593-607. by Teresa F. Lunt, Dorothy E. Denning, Roger R. Schell, Mark Heckman, William R. Shockley posted to 1990 database integrity multi-level relational seaview security system by michaelbanks on 2008-11-17 13:21:12 as
	A Specification and Verification Method for Preventing Denial of Service [My Copy] IEEE Transactions on Software Engineering, Vol. 16, No. 6. (1990), pp. 581-592. by Che-Fn Yu, Vergil D. Gligor posted to 1990 availability denial-of-service logic resource-allocation security specification temporal verification system by michaelbanks on 2008-11-17 12:57:29 as
	Information Sharing in Secure Systems [My Copy] 3rd IEEE Computer Security Foundations Workshop (CSFW '90) In 3rd IEEE Computer Security Foundations Workshop (CSFW '90) (1990), pp. 128-138. by James W. Gray posted to 1990 channels covert information security sharing theory by michaelbanks on 2008-11-14 16:34:49 as
	The Specification and Verified Decomposition of System Requirements Using CSP [My Copy] IEEE Transactions on Software Engineering, Vol. 16, No. 9. (1990), pp. 932-948. by A. P. Moore posted to 1990 csp decomposition formal requirements specification trace verification by michaelbanks on 2008-10-31 17:21:58 as
	A simple parallel 3D thinning algorithm [My Copy] Pattern Recognition, 1990. Proceedings., 10th International Conference on In Pattern Recognition, 1990. Proceedings., 10th International Conference on, Vol. i (1990), pp. 188-190 vol.1. by W. Gong, G. Bertrand posted to 1990 aehrc topology by asderina on 2008-10-15 01:41:53 as
	Specification and Verification Using Dependent Types [My Copy] IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964. by F. K. Hanna, N. Daeche, M. Longley posted to 1990 dependenttype specification type verification by shimomura on 2008-07-14 00:51:06 as along with 1 person msakai
	The Logic of Decision [My Copy] (15 July 1990) by Richard C. Jeffrey posted to 1990 bacr basi books decision-theory by quianominorleo on 2008-06-27 13:12:11 as along with 1 person amorgan
	When Politics Pays: Factors Influencing Managerial Compensation Decisions [My Copy] Personnel Psychology, Vol. 43, No. 3. (1990), pp. 599-614. by Kathryn Bartol, David Martin posted to 1990 reputation by drakkos69 on 2008-06-25 11:59:06 as
	"I Don't Care What They Say, as Long as They Spell My Name Right": Publicity, Reputation and Turnover [My Copy] Group Organization Management, Vol. 15, No. 1. (1 March 1990), pp. 53-74. by Christine T. Kydd, John R. Ogilvie, Allen L. Slade posted to 1990 reputation by drakkos69 on 2008-06-25 11:45:59 as
	Bayesian modeling of uncertainty in low-level vision [My Copy] Int. J. Comput. Vision, Vol. 5, No. 3. (December 1990), pp. 271-301. by Richard Szeliski posted to 1990 doctorate by asderina on 2008-05-02 17:37:54 as along with 1 person jjeong
	Intrinsic contact sensing for soft fingers [My Copy] Robotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on In Robotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on (1990), pp. 968-973 vol.2. by A. Bicchi posted to 1990 by aparravicini on 2008-04-21 08:24:50 as along with 1 person rockelegancy
	Model-based segmentation and estimation of 3D surfaces from two or more intensity images using Markov random fields [My Copy] Pattern Recognition, 1990. Proceedings., 10th International Conference on In Pattern Recognition, 1990. Proceedings., 10th International Conference on, Vol. i (1990), pp. 390-397 vol.1. by J. Subrahmonia, Y. P. Hung, D. B. Cooper posted to 1990 3d doctorate segmentation by asderina on 2008-04-07 22:02:17 as
	The Swedish Riksdag: The case of a strong policy-influencing assembly [My Copy] West European Politics, Vol. 13, No. 3. (1990), pp. 120-142. by David Arter posted to 1990 europe psci sweden political-science by Erannadur on 2008-03-25 14:35:01 as
	Does proportional representation foster voter turnout? [My Copy] European Journal of Political Research, Vol. 18, No. 2. (1990), pp. 167-181. by Andre Blais, R. K. Carty posted to 1990 proportional-rep psci political-science by Erannadur on 2008-03-25 14:33:03 as
	Multicarrier modulation for data transmission: an idea whose time has come [My Copy] Communications Magazine, IEEE In Communications Magazine, IEEE, Vol. 28, No. 5. (1990), pp. 5-14. by J. A. C. Bingham posted to 1990 ofdm by plutonheaven on 2008-03-06 15:09:39 as along with 2 people simon_o dcastro
	A Monte Carlo Implementation of the EM Algorithm and the Poor Man's Data Augmentation Algorithms [My Copy] Journal of the American Statistical Association, Vol. 85, No. 411. (1990), pp. 699-704. by Greg C. G. Wei, Martin A. Tanner posted to 1990 and tanner wei by ifejobi on 2007-12-04 00:11:10 as along with 3 people churchofbayes Zephyrus austin987
	Modular Object-oriented Z Specifications [My Copy] In Z User Workshop (1990), pp. 173-192. by Sílvio R. Meira, Ana Cavalcanti edited by J. E. Nicholls posted to 1990 _conference mooz z by leonardo to the group SRG on 2007-11-30 02:18:48 as

Note: You may cite this page as: http://www.citeulike.org/tag/1990

Result page: 1 2 Next

security	5
refinement	4
specification	4
z	4
_conference	3
algorithm	3
book	3
clumpyjet-paper	3
computational-linguistics	3
csp	3
distributed	3
formal-methods	3
semantics	3
software	3
system	3
verification	3
asynchronous	2
clustering	2
concurrent_systems	2
control	2
cs261	2
database	2
design	2
development	2
doctorate	2
fault-tolerant	2
file-system	2
formal	2
highly-available	2
interactive-performance	2
interactive-systems	2
introduction	2
journal-j_acoust_soc_am	2
kriging	2
language	2
languages-theory	2
logic	2
mathematical-form	2
model-theory	2
mooz	2
object-oriented	2
pd	2
pdf	2
political-science	2
presynapse	2
programming	2
property	2
protocol	2
psci	2
reactive_systems	2
renaming	2
reputation	2
statecharts	2
stylometry	2
temporal	2
theory	2
vdm	2
0-abtc	1
00	1
462c	1
adfs	1
ausleihe_seifried	1
availability	1
bib	1
bonilla	1
buried-surface	1
cache	1
category-theory	1
cipher-block-chaining	1
cma	1
code-comprehension	1
data	1
decision-theory	1
denial-of-service	1
experiments	1
index	1
indexing	1
information	1
jets	1
kreativitaet	1
multi-level	1
nature	1
neuroscience	1
origins	1
predicate-calculus	1
probability	1
proportional-rep	1
proto	1
query-optimization	1
reasoning	1
reconfigurable	1
relational	1
release	1
release-probability	1
requirements	1
thermal	1
topology	1
trace	1
unwinding	1
x2008	1

Tag 1990 [70 articles] Export

Related Tags