9507 search results - page 443 / 1902 » Time-based language models |
178
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
140
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
179
click to vote
DSML
2008
15 years 8 months ago
2008
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
152
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Molecular codes translate information written in one type of molecule into another molecular language. We introduce a simple model that treats molecular codes as noisy information...
169
click to vote
AAMAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...