Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Adrian Fiech"'
Publikováno v:
Innovative Approaches and Solutions in Advanced Intelligent Systems ISBN: 9783319322063
Cloud Computing with its dynamic pay as you go model and scalability characteristics promises computing on demand with associated cost savings compared to traditional computing architectures. This is a promising computing model especially in the cont
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef081e5578960997cf3ec901244b44d5
https://doi.org/10.1007/978-3-319-32207-0_5
https://doi.org/10.1007/978-3-319-32207-0_5
Publikováno v:
ACM Transactions on Programming Languages and Systems. 25:225-290
PolyTOIL is a new statically typed polymorphic object-oriented programming language that is provably typesafe. By separating the definitions of subtyping and inheritance, providing a name for the type of self, and carefully defining the type-checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::795ff88c1ab6935de511a2ed1aa3dcc4
https://doi.org/10.1145/641888.641891
https://doi.org/10.1145/641888.641891
Autor:
Adrian Fiech
Publikováno v:
Mathematical Structures in Computer Science. 6:455-468
We establish sufficient and necessary conditions for a natural sink to be a colimit in DCPO. Based on these conditions, we show how to construct a colimit for any functor F from a small category Ω into the category DCPO. This demonstrates that the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1573815ced24e721f209f3fcc2de1d83
https://doi.org/10.1017/s0960129500070031
https://doi.org/10.1017/s0960129500070031
Publikováno v:
C3S2E
Aspect Oriented Software Development (AOSD) has its roots in the need to deal with requirements that cut across the primary modularization of a software system. On the programming level, mature, industrial-strength tools like the de-facto standard As
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47db05ad1c0695b93d47162e20011d5e
https://doi.org/10.1145/1992896.1992900
https://doi.org/10.1145/1992896.1992900
Publikováno v:
C3S2E
The discovery of suitable services is a crucial, but challenging activity during service-oriented engineering. While in many scenarios a single service will satisfy the user's exigent needs, there are cases where a combination of services might be ap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::08dd57d7469b485398a41eda73cfdc21
https://doi.org/10.1145/1992896.1992913
https://doi.org/10.1145/1992896.1992913
Publikováno v:
C3S2E
Service Oriented Architecture (SOA) is a design framework that permits the developer to build complex applications from smaller modules called "services". When applying SOA to web applications, developers face several challenges. Among others, the he
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e521400db2f86e373daebc31547b1b71
https://doi.org/10.1145/1557626.1557638
https://doi.org/10.1145/1557626.1557638
Publikováno v:
C3S2E
Aspect Oriented Software Development (AOSD) has its roots in the need to deal with requirements that cut across the primary modularization of a software system. On the programming level, mature, industrial-strength tools like the de-facto standard As
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81d7144f45242c888690ea358b434dc5
https://doi.org/10.1145/1557626.1557649
https://doi.org/10.1145/1557626.1557649
Publikováno v:
Web Intelligence/IAT Workshops
In recent years, there has been a move toward supporting the human element of Web search beyond a simple query box and a ranked list of search results. In this paper, we present a prototype implementation of an approach to Web search based on fuzzy c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::811318bb86c1ad22f9571a3744dd46e1
https://doi.org/10.1109/wi-iat.2009.242
https://doi.org/10.1109/wi-iat.2009.242
Publikováno v:
ECOOP'97 — Object-Oriented Programming ISBN: 9783540630890
ECOOP
ECOOP
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM, retains most of the features of the earlier language PolyTOIL. However the subtyping relation is dropped from LOOM in favor of the matching relation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce6dc9efad41860ec2838cc42217d1be
https://doi.org/10.1007/bfb0053376
https://doi.org/10.1007/bfb0053376
Autor:
Adrian Fiech
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540580270
We define the category FuncΔ with functors F:DF→ Scott (DFeCPO) as objects and pairs \((f:D_F \to D_G ,\eta :F\mathop \to \limits^ \cdot G \circ f)\) as morphisms (η is a natural transformation). We show that this category is closed under the com
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3eb176349290686094a9c4f147fea396
https://doi.org/10.1007/3-540-58027-1_28
https://doi.org/10.1007/3-540-58027-1_28