4151 search results - page 683 / 831 » Language Driven System Design |
94
Voted
ICTAI
1993
IEEE
15 years 6 months ago
1993
IEEE
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
119
Voted
TYPES
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
130
Voted
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
Generative models such as statistical language modeling have been widely studied in the task of expert search to model the relationship between experts and their expertise indicat...
150
click to vote
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
137
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...