Sciweavers

7311 search results - page 122 / 1463
» Time in State Machines
Sort
View
ASM
2005
ASM
15 years 9 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy
ACSAC
2005
IEEE
15 years 10 months ago
Automated and Safe Vulnerability Assessment
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
Fanglu Guo, Yang Yu, Tzi-cker Chiueh
OOPSLA
2009
Springer
15 years 10 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
TAL
2004
Springer
15 years 9 months ago
Unsupervised Training of a Finite-State Sliding-Window Part-of-Speech Tagger
A simple, robust sliding-window part-of-speech tagger is presented and a method is given to estimate its parameters from an untagged corpus. Its performance is compared to a standa...
Enrique Sánchez Villamil, Mikel L. Forcada,...
ICPR
2008
IEEE
15 years 10 months ago
Adaptive nonstationary regression analysis
The problem of finding the most appropriate subset of features or regressors is the generic challenge of Machine Learning problems like regression estimation or pattern recognitio...
Olga Krasotkina, Vadim Mottl