Sciweavers

13099 search results - page 30 / 2620
» Cooperative method development
Sort
View
IJDE
2007
105views more  IJDE 2007»
13 years 7 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
ANLP
2000
68views more  ANLP 2000»
13 years 9 months ago
Distilling dialogues - A method using natural dialogue corpora for dialogue systems development
We report on a method for utilising corpora collected in natural settings. It is based on distilling re-writing natural dialogues to elicit the type of dialogue that would occur i...
Arne Jönsson, Nils Dahlbäck
EUROMICRO
2006
IEEE
14 years 1 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
ASM
2010
ASM
13 years 10 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...