Sciweavers

2673 search results - page 140 / 535
» Guided Static Analysis
Sort
View
DIGRA
2003
Springer
15 years 9 months ago
Characters in Computer Games: Toward Understanding Interpretation and Design
Interpretation of characters is a fundamental feature of human behavior. Even with limited information available, people will assign personality – even to inanimate objects. Cha...
Petri Lankoski, Satu Heliö, Inger Ekman
DSOM
1999
Springer
15 years 8 months ago
A Framework for the Integration of Legacy Devices into a Jini Management Federation
The administration of heterogeneous networks with many devices is a tedious and time-consuming task. Today’s approaches only provide static configuration files and make the add...
Gerd Aschemann, Svetlana Domnitcheva, Peer Hasselm...
FIW
1998
104views Communications» more  FIW 1998»
15 years 5 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
EUSFLAT
2009
158views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Bi-criteria Genetic Selection of Bagging Fuzzy Rule-based Multiclassification Systems
Previously we proposed a scheme to generate fuzzy rule-based multiclassification systems by means of bagging, mutual information-based feature selection, and a multicriteria geneti...
Krzysztof Trawinski, Arnaud Quirin, Oscar Cord&oac...
SBMF
2010
Springer
132views Formal Methods» more  SBMF 2010»
14 years 11 months ago
Midlet Navigation Graphs in JML
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
Wojciech Mostowski, Erik Poll