2374 search results - page 300 / 475 » The language of machines |
178
click to vote
ECOWS
2007
Springer
16 years 23 days ago
2007
Springer
Service orientation is the de-facto architectural style, today. But, what actually is a service and how should service boundaries be chosen? Resource orientation, once seen as a â€...
175
click to vote
ECTEL
2007
Springer
16 years 23 days ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
189
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
162
click to vote
LICS
2006
IEEE
16 years 19 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
136
click to vote
AWIC
2005
Springer
16 years 4 days ago
2005
Springer
This paper explores the feasibility of a multilingual question answering approach based on the Web redundancy. The paper introduces a system prototype that combines a translation m...