1501 search results - page 46 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents RDSS, a Resource Area Network (RAN)-based Distributed Storage System, which is designed for high scalability, long-term reliability, and operational efficiency...
107
click to vote
CP
1995
Springer
15 years 2 months ago
1995
Springer
Object-based knowledge representation systems bene t from the declarative power of the object formalism for modeling, organizing and storing large amounts of knowledge. They also ...
NAACL
2010
14 years 9 months ago
2010
Phonetic string transduction problems, such as letter-to-phoneme conversion and name transliteration, have recently received much attention in the NLP community. In the past few y...
80
Voted
EICS
2010
ACM
15 years 3 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...