↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Träfflista för sökning "L4X0:0302 9743 srt2:(2005-2009)"

Sökning: L4X0:0302 9743 > (2005-2009)

Resultat 1-10 av 33

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Andreev, Sergey, et al. (författare) Overall Delay in IEEE 802.16 with Contention-Based Random Access 2009 Konferensbidrag (refereegranskat)
2.	Berglund, Ann-Charlotte, et al. (författare) Combining local and grid resources in scientific workflows (for Bioinformatics) 2009 Konferensbidrag (refereegranskat)abstract We examine some issues that arise when using both local and Gridresources in scientific workflows. Our previous work addresses and illustratesthe benefits of a light-weight and generic workflow engine that manages andoptimizes Grid resource usage. Extending on this effort, we hereillustrate how a client tool for bioinformatics applications employs the engine tointerface with Grid resources. We also explore how to define data flowsthat transparently integrates local and Grid subworkflows. In addition, the benefits of parameter sweep workflows are examined and a means for describing this type of workflows in an abstract and concise manner is introduced. Finally, the above mechanisms are employed to perform an orthology detection analysis.
3.	Chen, DeJiu, et al. (författare) Modelling Support for Design of Safety-Critical Automotive Embedded Systems 2008 Ingår i: Proceedings of the 27th International Conference on Computer Safety, Reliability and Security, 2008.. - Berlin, Heidelberg : Springer Berlin Heidelberg. Konferensbidrag (refereegranskat)abstract This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering - the EAST-ADL2 architecture description language. Three areas are highlighted: (I) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262 (2) Safety Case development in close connection to the system model (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
4.	Dynamical Vision : ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers 2007 Proceedings (redaktörskap) (refereegranskat)
5.	Eisinger, Norbert, et al. (författare) Reasoning Web 2005 : First International Summer School 2005, MSIDA, Malta, July 25-29, 2005, Revised Lectures 2005. - 1 Bok (övrigt vetenskapligt/konstnärligt)abstract This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the First Summer School on Reasoning Web in Msida, Malta, in July 2005. The objective is to provide a coherent introduction into Semantic Web methods and issues with a particular focus on reasonning. The ten tutorial papers presented provide competent coverage of methods and issues of the Semantic Web, ontology languages and their relation to description logics, Web query languages, XML, RDF and topics maps, evolution and reactivity, personalization in the Semantic Web, rule modeling with UML, techniques in Web information extraction, employing ontologies to ease construction of software applications, and type checking for Web rule and query languages.
6.	Eklund, Patrik, et al. (författare) Monads can be rough 2006 Konferensbidrag (refereegranskat)abstract Traditionally, rough sets build upon relations based on ordinary sets, i.e. relations on X as subsets of X x X. A starting point of this paper is the equivalent view on relations as mappings from X to the (ordinary) power set PX. Categorically, P is a set functor, and even more so, it can in fact be extended to a monad (P,eta,mu). This is still not enough and we need to consider the partial order (PX, <=). Given this partial order, the ordinary power set monad can be extended to a partially ordered monad. The partially ordered ordinary power set monad turns out to contain sufficient structure in order to provide rough set operations. However, the motivation of this paper goes far beyond ordinary relations as we show how more general power sets, i.e. partially ordered monads built upon a wide range of set functors, can be used to provide what we call rough monads.
7.	Electronic government : 6th International conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007 : Proceedings 2007 Proceedings (redaktörskap) (övrigt vetenskapligt/konstnärligt)
8.	Engineering Environment-Mediated Multi-Agent Systems : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007, Selected Revised and Invited Papers 2008 Proceedings (redaktörskap) (refereegranskat)
9.	Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings 2005 Proceedings (redaktörskap) (refereegranskat)
10.	Formal Modeling and Analysis of Timed Systems, Third International Conference 2005 Proceedings (redaktörskap) (refereegranskat)

Skapa referenser, mejla, bekava och länka

Länka till träfflistan

Resultat 1-10 av 33

Avgränsa träffmängd

Typ av publikation: konferensbidrag (17); proceedings (redaktörskap) (9); samlingsverk (redaktörskap) (5); bok (2)

Typ av innehåll: refereegranskat (28); övrigt vetenskapligt/konstnärligt (4); populärvet., debatt m.m. (1)

Författare/redaktör: Wang, Yi (2); Pettersson, Paul (2); Vinel, Alexey, 1983- (1); Löwe, Welf (1); Weyns, Danny (1); Pal, A. (1); visa fler...; Jonsson, Bengt (1); Johansson, Rolf (1); Ekenberg, Love (1); Lee, J. (1); Hernandez, Francisco (1); Lönn, Henrik (1); Papadopoulos, Yianni ... (1); Abrahamyan, Lilit (1); Schaap, Jorrit A. (1); Hoekstra, Alfons G. (1); Shamonin, Denis (1); M.A.Box, Frieke (1); Van der Geest, Rob J ... (1); H.C. Reiber, Johan (1); M.A. Sloot, Peter (1); Crnkovic, Ivica (1); Paul, A (1); Törngren, Martin (1); Kågström, Bo (1); Johannesson, Paul (1); Demazeau, Yves (1); Grönlund, Åke, 1954- (1); Håkansson, Anne, 196 ... (1); Nguyen, Ngoc-Thanh (1); Hartung, Ronald, 194 ... (1); Howlett, Robert (1); Wimmer, Maria (1); Pioro, Michal (1); Miettinen, Kaisa, 19 ... (1); Andreev, Sergey (1); Tordsson, Johan, 198 ... (1); Elmroth, Erik, 1964- (1); Elmroth, Erik (1); Heyden, Anders (1); Håstad, Johan (1); Andersson, Birger (1); Bergholtz, Maria (1); Edirisuriya, Ananda (1); Ilayperuma, Tharaka (1); Weigand, H. (1); Deb, Kalyanmoy (1); Maluszynski, Jan, 19 ... (1); Turlikov, Andrey (1); Saffer, Zsolt (1); visa färre...

Lärosäte: Kungliga Tekniska Högskolan (14); Linnéuniversitetet (4); Umeå universitet (3); Uppsala universitet (3); Linköpings universitet (3); Högskolan i Halmstad (2); visa fler...; Stockholms universitet (1); Högskolan i Gävle (1); Mälardalens universitet (1); Örebro universitet (1); Lunds universitet (1); Malmö universitet (1); Chalmers tekniska högskola (1); visa färre...

Språk: Engelska (33)

Forskningsämne (UKÄ/SCB): Naturvetenskap (25); Teknik (6); Samhällsvetenskap (1)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem
LIBRIS.kb.se

pil uppåt

Stäng

Kopiera och spara länken för att återkomma till aktuell vy