4476 search results - page 468 / 896 » Modeling software architectures in the Unified Modeling Lang... |
190
click to vote
AAAI
2008
15 years 10 months ago
2008
Multilingual parallel text corpora provide a powerful means for propagating linguistic knowledge across languages. We present a model which jointly learns linguistic structure for...
198
click to vote
WISE
2007
Springer
16 years 1 months ago
2007
Springer
Nowadays information systems are increasingly distributed and deployed within the Internet platform. Without any doubt, the World Wide Web represents the de facto standard platform...
203
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
239
click to vote
AC
2000
Springer
15 years 12 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
255
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...