1750 search results - page 95 / 350 » Formal multiple-bernoulli models for language modeling |
161
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
160
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
143
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
153
click to vote
EDOC
2008
IEEE
16 years 13 days ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
158
click to vote
ICMT
2010
Springer
15 years 9 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...