Sciweavers

3330 search results - page 183 / 666
» software 2010
Sort
View
IMCSIT
2010
13 years 8 months ago
Building and Using Existing Hunspell Dictionaries and TeX Hyphenators as Finite-State Automata
Abstract--There are numerous formats for writing spellcheckers for open-source systems and there are many descriptions for languages written in these formats. Similarly, for word h...
Tommi Pirinen, Krister Lindén
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 11 months ago
Towards Performance Measurement And Metrics Based Analysis of PLA Applications
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
Zeeshan Ahmed
SOFTVIS
2010
ACM
13 years 11 months ago
Off-screen visualization techniques for class diagrams
Visual representations of node-link diagrams are very important for the software development process. In many situations large diagrams
Mathias Frisch, Raimund Dachselt
SIMPAR
2010
110views Robotics» more  SIMPAR 2010»
13 years 9 months ago
Improving a Robotics Framework with Real-Time and High-Performance Features
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
Jesús Martínez, Adrián Romero...
VMCAI
2010
Springer
14 years 8 months ago
Collections, Cardinalities, and Relations
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
Kuat Yessenov, Ruzica Piskac, Viktor Kuncak