2878 search results - page 169 / 576 » Analyzing the Uses of a Software Modeling Tool |
177
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
171
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
137
click to vote
LREC
2010
15 years 7 months ago
2010
We present LIPS (Lexical Isolation Point Software), a tool for accurate lexical isolation point (IP) prediction in recordings of speech. The IP is the point in time in which a wor...
146
click to vote
WCE
2007
15 years 7 months ago
2007
—Partial Differential Equations (PDEs) play an essential role in modeling real world problems. The broad field of modeling such systems has drawn the researchers’ attention for...
149
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...