Sciweavers

8982 search results - page 220 / 1797
» Applications of Aglet Technology
Sort
View
134
Voted
ETFA
2006
IEEE
15 years 10 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
METAINFORMATICS
2004
Springer
15 years 9 months ago
Supporting Tools for Designing-By-Contract in Component-Based Applications
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
107
Voted
CAISE
2003
Springer
15 years 9 months ago
Metadata Repositories as Infrastructure for Database Oriented Applications
Abstract. We argue that adaptability and extensibility can be guaranteed by the utilization of the concepts meta-modeling, formation of concepts and reflection, which require the u...
Stefan Jablonski, Ilia Petrov, Christian Meiler, U...
HPCA
1998
IEEE
15 years 8 months ago
Challenging Applications on Fast Networks
Parallel computing on clusters of workstations is attractive because of the low costs in comparison to MPPs, but the speed of the local area network limits the class of applicatio...
Koen Langendoen, Rutger F. H. Hofman, Henri E. Bal
126
Voted
SPIRE
1999
Springer
15 years 8 months ago
Flexible Communication Support for CSCW Applications
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
Hugo Miranda, Luís Rodrigues