3387 search results - page 287 / 678 » Automating the Metamodeling Process |
183
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
149
click to vote
AIEDAM
2004
15 years 6 months ago
2004
Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating ...
177
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
168
click to vote
EMNLP
2010
15 years 4 months ago
2010
While a significant amount of research has been devoted to textual entailment, automated entailment from conversational scripts has received less attention. To address this limita...
164
click to vote
HIS
2009
15 years 4 months ago
2009
The problem of failure diagnosis has received a considerable attention in the domain of reliability engineering, process control and computer science. The increasing stringent req...