1471 search results - page 149 / 295 » Church: a language for generative models |
165
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
189
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
167
click to vote
TOIT
2008
15 years 6 months ago
2008
s exhibits diversity in the real world, mental abstraction world, document world, and machine world. Studying mappings between different forms of semantics helps unveil the uniform...
160
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
190
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...