2558 search results - page 66 / 512 » Model Composition Contracts |
140
click to vote
SOFSEM
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
131
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
125
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
123
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We are developing electronic dictionaries and transducers for the automatic processing of the Albanian Language. We will analyze the words inside a linear segment of text. We will...
132
click to vote
JMLR
2010
14 years 10 months ago
2010
Composite likelihood methods provide a wide spectrum of computationally efficient techniques for statistical tasks such as parameter estimation and model selection. In this paper,...