Sciweavers

5525 search results - page 105 / 1105

» Verification of Model Transformations

76

SCJAPAN
2002

37views more SCJAPAN 2002»

A supporting system for verification among models of the UML

15 years 2 months ago

A supporting system for verification among models of the UML

Download ssel.vub.ac.be

Atsushi Ohnishi

claim paper

Read More »

58

TOIS
1998

61views more TOIS 1998»

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking

15 years 2 months ago

Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking

Download www.cparity.com

P. David Stotts, Richard Furuta, Cyrano Ruiz Cabar...

claim paper

Read More »

100

PRL
2007

87views more PRL 2007»

HMM-based on-line signature verification: Feature extraction and signature modeling

15 years 2 months ago

HMM-based on-line signature verification: Feature extraction and signature modeling

Download atvs.ii.uam.es

Julian Fiérrez-Aguilar, Javier Ortega-Garci...

claim paper

Read More »

101

ICEIS
2010
IEEE

135views Information Technology» more ICEIS 2010»

User Context Models - A Framework to Ease Software Formal Verifications

15 years 1 months ago

User Context Models - A Framework to Ease Software Formal Verifications

Download hal.archives-ouvertes.fr

Amine Raji, Philippe Dhaussy

claim paper

Read More »

133

ATAL
2008
Springer

118views Intelligent Agents» more ATAL 2008»

A flexible framework for verifying agent programs

15 years 5 months ago

A flexible framework for verifying agent programs

Download www.inf.ufrgs.br

There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...

Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...

claim paper

Read More »

« Prev « First page 105 / 1105 Last » Next »