Sciweavers

4218 search results - page 252 / 844
» Complete sets of cooperations
Sort
View
102
Voted
SAC
2010
ACM
15 years 6 months ago
Software adaptation patterns for service-oriented architectures
This paper describes the concept of software adaptation patterns and how they can be used in software adaptation of serviceoriented architectures. The patterns are described in te...
Hassan Gomaa, Koji Hashimoto, Minseong Kim, Sam Ma...
93
Voted
CBMS
2003
IEEE
15 years 6 months ago
Integration of Distributed Healthcare Records: Publishing Legacy Data as XML Documents Compliant with CEN/TC251 ENV13606
To support co-operative work among health professionals and institutions it is necessary to share healthcare information about patients in a meaningful way. But, nowadays, in most...
José Alberto Maldonado, Montserrat Robles, ...
98
Voted
CHARME
2003
Springer
103views Hardware» more  CHARME 2003»
15 years 6 months ago
Linear and Nonlinear Arithmetic in ACL2
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
Warren A. Hunt Jr., Robert Bellarmine Krug, J. Str...
CICLING
2003
Springer
15 years 6 months ago
Experiments with Linguistic Categories for Language Model Optimization
In this work1 we obtain robust category-based language models to be integrated into speech recognition systems. Deductive rules are used to select linguistic categories and to matc...
Arantza Casillas, Amparo Varona, Inés Torre...
104
Voted
IEEEICCI
2002
IEEE
15 years 5 months ago
Software Agents: Quality, Complexity and Uncertainty Issues
In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexi...
Behrouz Homayoun Far