×

Found 9 Documents (Results 1–9)

SPAMR: Extending PAMR with stochastic time. (English) Zbl 1149.68319

Wolter, Katinka (ed.), Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75210-3/pbk). Lecture Notes in Computer Science 4748, 63-79 (2007).
MSC:  68M20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Assessing the expressivity of formal specification languages. (English) Zbl 1236.68184

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 220-234 (2006).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Testing of symbolic-probabilistic systems. (English) Zbl 1081.68575

Grabowski, Jens (ed.) et al., Formal approaches to software testing. 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25109-X/pbk). Lecture Notes in Computer Science 3395, 49-63 (2005).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

Formal specification of symbolic-probabilistic systems. (English) Zbl 1111.68511

Núñez, Manuel (ed.) et al., Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1–2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23169-2/pbk). Lecture Notes in Computer Science 3236, 114-127 (2004).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Including malicious agents into a collaborative learning environment. (English) Zbl 1045.68797

Cerri, Stefano A. (ed.) et al., Intelligent tutoring systems. 6th international conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2–7, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43750-9). Lect. Notes Comput. Sci. 2363, 51-60 (2002).
MSC:  68U99 68T99
PDFBibTeX XMLCite
Full Text: Link

A formal framework for e-barter based on microeconomic theory and process algebras. (English) Zbl 1046.68823

Unger, Herwig (ed.) et al., Innovative Internet computing systems. 2nd international workshop, IICS 2002, Kühlungsborn, Germany, June 20–22, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43790-8). Lect. Notes Comput. Sci. 2346, 217-228 (2002).
MSC:  68U99 68M10
PDFBibTeX XMLCite
Full Text: Link

WHAT: Web-based Haskell adaptive tutor. (English) Zbl 1020.68777

Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 71-80 (2002).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software