1501 search results - page 279 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
IFM
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
111
click to vote
AINA
2003
IEEE
15 years 2 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Conditional Random Fields (CRFs) have proven to perform well on natural language processing tasks like name transliteration, concept tagging or grapheme-to-phoneme (g2p) conversio...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
ICDE
2006
IEEE
15 years 5 months ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...