<x-flowed>
Humanist Discussion Group, Vol. 17, No. 688.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
Submit to: humanist@princeton.edu
Date: Sat, 06 Mar 2004 07:45:31 +0000
From: Willard McCarty <willard.mccarty@kcl.ac.uk>
Subject: new Springer books
(1)
Volume 6 Number 2 of Knowledge and Information Systems is now available
on the SpringerLink web site at http://springerlink.metapress.com.
This issue contains:
An Intelligent Information System for Organizing Online Text Documents
p. 125 Han-joon Kim, Sang-goo Lee DOI: 10.1007/s10115-003-0103-z
Mining Navigation Patterns Using a Sequence Alignment Method p. 150
Birgit Hay, Geert Wets, Koen Vanhoof DOI: 10.1007/s10115-003-0109-6
Collective Mining of Bayesian Networks from Distributed Heterogeneous
Data p. 164 R. Chen, K. Sivakumar, H. Kargupta DOI:
10.1007/s10115-003-0107-8
Learning Feature Weights from Customer Return-Set Selections p. 188 L.
Karl Branting DOI: 10.1007/s10115-003-0110-0
WAR: Weighted Association Rules for Item Intensities p. 203 Wei Wang,
Jiong Yang, Philip Yu DOI: 10.1007/s10115-003-0108-7
Discovering and Analyzing World Wide Web Collections p. 230 Sougata
Mukherjea DOI: 10.1007/s10115-003-0112-y
(2)
Volume 2999 Volume 2999/2004 of Lecture Notes in Computer Science is
now available on the SpringerLink web site at
http://springerlink.metapress.com.
This issue contains:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods
inside Microsoft p. 1 Thomas Ball, Byron Cook, Vladimir Levin, Sriram K.
Rajamani
Design Verification for Control Engineering p. 21 Richard J. Boulton,
Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin
Integrating Model Checking and Theorem Proving in a Reflective
Functional Language p. 36 Tom Melham
A Tutorial Introduction to Designs in Unifying Theories of Programming
p. 40 Jim Woodcock, Ana Cavalcanti
An Integration of Program Analysis and Automated Theorem Proving p. 67
Bill J. Ellis, Andrew Ireland
Verifying Controlled Components p. 87 Steve Schneider, Helen Treharne
Efficient CSP Z Data Abstraction p. 108 Adalberto Farias, Alexandre
Mota, Augusto Sampaio
State/Event-Based Software Model Checking p. 128 Sagar Chaki, Edmund M.
Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
Formalising Behaviour Trees with CSP p. 148 Kirsten Winter
Generating MSCs from an Integrated Formal Specification Language p. 168
Jin Song Dong, Shengchao Qin, Jun Sun
UML to B: Formal Verification of Object-Oriented Models p. 187 K. Lano,
D. Clark, K. Androutsopoulos
Software Verification with Integrated Data Type Refinement for Integer
Arithmetic p. 207 Bernhard Beckert, Steffen Schlager
Constituent Elements of a Correctness-Preserving UML Design Approach p.
227 Tiberiu Seceleanu, Juha Plosila
Relating Data Independent Trace Checks in CSP with UNITY Reachability
under a Normality Assumption p. 247 Xu Wang, A.W. Roscoe, R.S. Lazic
Linking CSP-OZ with UML and Java: A Case Study p. 267 Michael Möller,
Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim
Object-Oriented Modelling with High-Level Modular Petri Nets p. 287
Cécile Bui Thanh, Hanna Klaudel
Specification and Verification of Synchronizing Concurrent Objects p.
307 Gabriel Ciobanu, Dorel Lucanu
Understanding Object-Z Operations as Generalised Substitutions p. 328
Steve Dunne
Embeddings of Hybrid Automata in Process Algebra p. 343 Tim A.C.
Willemse
An Optimal Approach to Hardware/Software Partitioning for Synchronous
Model p. 363 Pu Geguang, Dang Van Hung, He Jifeng, Wang Yi
A Many-Valued Logic with Imperative Semantics for Incremental
Specification of Timed Models p. 382 Ana Fernández Vilas, José J. Pazos
Arias, Rebeca P. Díaz Redondo, Alberto Gil Solla, Jorge García Duque
Integrating Temporal Logics p. 402 Yifeng Chen, Zhiming Liu
Integration of Specification Languages Using Viewpoints p. 421 Marius C.
Bujorianu
Integrating Formal Methods by Unifying Abstractions p. 441 Raymond Boute
Formally Justifying User-Centred Design Rules: A Case Study on
Post-completion Errors p. 461 Paul Curzon, Ann Blandford
Using UML Sequence Diagrams as the Basis for a Formal Test Description
Language p. 481 Simon Pickin, Jean-Marc Jézéquel
Viewpoint-Based Testing of Concurrent Components p. 501 Luke Wildman,
Roger Duke, Paul Strooper
A Method for Compiling and Executing Expressive Assertions p. 521 F.J.
Galán Morillo, J.M. Cañete Valdeón
Dr Willard McCarty | Senior Lecturer | Centre for Computing in the
Humanities | King's College London | Strand | London WC2R 2LS || +44 (0)20
7848-2784 fax: -2980 || willard.mccarty@kcl.ac.uk
www.kcl.ac.uk/humanities/cch/wlm/
</x-flowed>
This archive was generated by hypermail 2b30 : Fri Mar 26 2004 - 11:19:44 EST