Sciweavers

265 search results - page 17 / 53
» Overview of the MPEG-CDVS Standard
Sort
View
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
14 years 4 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
ZUM
2005
Springer
176views Formal Methods» more  ZUM 2005»
14 years 4 months ago
CZT: A Framework for Z Tools
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
Petra Malik, Mark Utting
CNSR
2010
IEEE
124views Communications» more  CNSR 2010»
14 years 1 months ago
Challenges and Direction toward Secure Communication in the SCADA System
In the past few years the security issues in the supervisory control and data acquisition (SCADA) system have been investigated, and many security mechanisms have been proposed fro...
Sugwon Hong, Myungho Lee
ICWSM
2008
14 years 12 days ago
ASL-STEM Forum: A Bottom-Up Approach to Enabling American Sign Language to Grow in STEM Fields
Deaf and hard of hearing students studying advanced topics in Science, Technology, Engineering, and Mathematics (STEM) lack standard terminology to enable them to learn, discuss a...
Jeffrey P. Bigham, Daniel S. Otero, Jessica N. DeW...
APVIS
2004
14 years 11 days ago
An Interactive Visualisation for Investigating DNA Sequence Information
1 The sequence of nucleotides that makes up a DNA molecule encodes the characteristics of living things. Bioinformatics offers sophisticated methods to search for and compare nucl...
Paul Rutherford, Clare Churcher, John McCallum