Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5711 Publications
2004 | Conference Paper | LibreCat-ID: 8390
Comparing two Model Transformation Approaches
J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.
LibreCat
J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.
2004 | Conference Paper | LibreCat-ID: 8391
Towards Inconsistency Handling of Object-Oriented Behavioral Models
J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.
LibreCat
| DOI
J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.
2004 | Conference Paper | LibreCat-ID: 8392
UML for FPGA Synthesis
T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
LibreCat
T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 8393
Taming Model Round-Trip Engineering
S. Sendall, J. Küster, in: Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
LibreCat
| Download (ext.)
S. Sendall, J. Küster, in: Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
2004 | Journal Article | LibreCat-ID: 850
Cross-layer optimization of OFDM transmission systems for MPEG-4 video streaming
J. Gross, J. Klaue, H. Karl, A. Wolisz, Computer Communications (2004) 1044--1055.
LibreCat
| DOI
J. Gross, J. Klaue, H. Karl, A. Wolisz, Computer Communications (2004) 1044--1055.
2004 | Journal Article | LibreCat-ID: 851
Ambient networks: An architecture for communication networks beyond 3G
N. Niebert, A. Schieder, H. Abramowicz, G. Malmgren, J. Sachs, U. Horn, C. Prehofer, H. Karl, IEEE Wireless Communications (2004) 14--22.
LibreCat
| DOI
N. Niebert, A. Schieder, H. Abramowicz, G. Malmgren, J. Sachs, U. Horn, C. Prehofer, H. Karl, IEEE Wireless Communications (2004) 14--22.
2004 | Conference Paper | LibreCat-ID: 852
Improving the Energy Efficiency of Directed Diffusion Using Passive Clustering
V. Handziski, A. Köpke, H. Karl, C. Frank, W. Drytkiewicz, in: Wireless Sensor Networks, First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings, 2004, pp. 172--187.
LibreCat
| DOI
V. Handziski, A. Köpke, H. Karl, C. Frank, W. Drytkiewicz, in: Wireless Sensor Networks, First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings, 2004, pp. 172--187.
2004 | Conference Paper | LibreCat-ID: 853
Research Challenges in Mobility and Moving Networks: An Ambient Networks View
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
LibreCat
| DOI
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
2004 | Conference Paper | LibreCat-ID: 854
Consistency challenges of service discovery in mobile ad hoc networks
C. Frank, H. Karl, in: Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004, 2004, pp. 105--114.
LibreCat
| DOI
C. Frank, H. Karl, in: Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004, 2004, pp. 105--114.
2004 | Conference Paper | LibreCat-ID: 855
A Geometric Derivation of the Probability of Finding a Relay in Multi-rate Networks
L. Marie Feeney, D. Hollos, M. Kubisch, S. Mengesha, H. Karl, in: NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings, 2004, pp. 1312--1317.
LibreCat
| DOI
L. Marie Feeney, D. Hollos, M. Kubisch, S. Mengesha, H. Karl, in: NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings, 2004, pp. 1312--1317.
2004 | Conference Paper | LibreCat-ID: 856
Regionalizing global optimization algorithms to improve the operation of large ad hoc networks
D. Hollos, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference, WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 819--824.
LibreCat
| DOI
D. Hollos, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference, WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 819--824.
2004 | Conference Paper | LibreCat-ID: 857
Queue-driven cut-through medium access in wireless ad hoc networks
D. Raguin, M. Kubisch, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference , WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 1909--1914.
LibreCat
| DOI
D. Raguin, M. Kubisch, H. Karl, A. Wolisz, in: 2004 IEEE Wireless Communications and Networking Conference , WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004, 2004, pp. 1909--1914.
2004 | Book Chapter | LibreCat-ID: 858
Data Transmission in Mobile Communication Systems
H. Karl, in: Location-Based Services, 2004, pp. 207--244.
LibreCat
H. Karl, in: Location-Based Services, 2004, pp. 207--244.
2004 | Conference (Editor) | LibreCat-ID: 859
Wireless Sensor Networks
H. Karl, A. Willig, A. Wolisz, eds., Wireless Sensor Networks, First European Workshop, {EWSN} 2004, Berlin, Germany, January 19-21, 2004, Proceedings, 2004.
LibreCat
| DOI
H. Karl, A. Willig, A. Wolisz, eds., Wireless Sensor Networks, First European Workshop, {EWSN} 2004, Berlin, Germany, January 19-21, 2004, Proceedings, 2004.
2004 | Conference Paper | LibreCat-ID: 988
Ambient Networks--Research for Communication Networks Beyond 3G
N. Niebert, H. Flinck, R. Hancock, H. Karl, C. Prehofer, in: 13th IST Mobile and Wireless Communications-Summit 2004, 2004.
LibreCat
N. Niebert, H. Flinck, R. Hancock, H. Karl, C. Prehofer, in: 13th IST Mobile and Wireless Communications-Summit 2004, 2004.
2004 | Conference Paper | LibreCat-ID: 992
Throughput study for a dynamic OFDM-FDMA system with inband signaling
J. Gross, I. Paoluzzi, H. Karl, A. Wolisz, in: Vehicular Technology Conference, 2004. VTC 2004-Spring. 2004 IEEE 59th, 2004, pp. 1787--1791.
LibreCat
J. Gross, I. Paoluzzi, H. Karl, A. Wolisz, in: Vehicular Technology Conference, 2004. VTC 2004-Spring. 2004 IEEE 59th, 2004, pp. 1787--1791.
2004 | Journal Article | LibreCat-ID: 993
A hybrid approach for location-based service discovery in vehicular ad hoc networks
N. Klimin, W. Enkelmann, H. Karl, A. Wolisz, Proc. of WIT (2004).
LibreCat
N. Klimin, W. Enkelmann, H. Karl, A. Wolisz, Proc. of WIT (2004).
2004 | Conference Paper | LibreCat-ID: 997
Distributed allocation of time slots for real-time traffic in a wireless multi-hop network
E. Carlson, H. Karl, A. Wolisz, C. Prehofer, in: Proc. European Wireless, 2004.
LibreCat
| Files available
E. Carlson, H. Karl, A. Wolisz, C. Prehofer, in: Proc. European Wireless, 2004.
2004 | Journal Article | LibreCat-ID: 998
Capacity increase of multi-hop cellular wlans exploiting data rate adaptation and frequency recycling
S. Mengesha, H. Karl, A. Wolisz, Proc. of MedHocNet 2004 (2004).
LibreCat
S. Mengesha, H. Karl, A. Wolisz, Proc. of MedHocNet 2004 (2004).
2004 | Conference Paper | LibreCat-ID: 16474
Labeling Smart Dust
V. Bansal, F. Meyer auf der Heide, C. Sohler, in: 12th Annual European Symposium on Algorithms (ESA 2004), Berlin, Heidelberg, 2004.
LibreCat
| DOI
V. Bansal, F. Meyer auf der Heide, C. Sohler, in: 12th Annual European Symposium on Algorithms (ESA 2004), Berlin, Heidelberg, 2004.
2004 | Conference Paper | LibreCat-ID: 16475
Fighting against two adversaries
M. Bienkowski, M. Korzeniowski, F. Meyer auf der Heide, in: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’04, 2004.
LibreCat
| DOI
M. Bienkowski, M. Korzeniowski, F. Meyer auf der Heide, in: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’04, 2004.
2004 | Journal Article | LibreCat-ID: 16477
Congestion, Dilation, and Energy in Radio Networks
F. Meyer auf der Heide, C. Schindelhauer, K. Volbert, M. Grünewald, Theory of Computing Systems (2004) 343–370.
LibreCat
| DOI
F. Meyer auf der Heide, C. Schindelhauer, K. Volbert, M. Grünewald, Theory of Computing Systems (2004) 343–370.
2004 | Conference Paper | LibreCat-ID: 16480
Scheduling against an adversarial network
S. Leonardi, A. Marchetti-Spaccamela, F. Meyer auf der Heide, in: SPAA ’04: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004.
LibreCat
| DOI
S. Leonardi, A. Marchetti-Spaccamela, F. Meyer auf der Heide, in: SPAA ’04: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004.
2004 | Conference Paper | LibreCat-ID: 16803
openVisaar: Enriching Cooperative Visualization by Combining Open Technologies
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
LibreCat
| DOI
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
2004 | Conference Paper | LibreCat-ID: 16804
An XML-based visual shading language for vertex and fragment shaders
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
LibreCat
| DOI
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
2004 | Journal Article | LibreCat-ID: 10742
Operating systems for reconfigurable embedded platforms: online scheduling of real-time tasks
C. Steiger, H. Walder, M. Platzner, {IEEE} Transactions on Computers 53 (2004) 1393–1407.
LibreCat
| DOI
C. Steiger, H. Walder, M. Platzner, {IEEE} Transactions on Computers 53 (2004) 1393–1407.
2004 | Conference Paper | LibreCat-ID: 15801
A systematic approach to the assessment of fuzzy association rules
D. Dubois, E. Hüllermeier, H. Prade, in: J. Cubero, D. Sanchez, Z. Ras, T. Sudkamp (Eds.), In Proceedings of the Workshop on Alternative Techniques for Data Mining and Knowledge Discovery, IEEE International Conference on Data Mining, Brighton, UK, 2004.
LibreCat
D. Dubois, E. Hüllermeier, H. Prade, in: J. Cubero, D. Sanchez, Z. Ras, T. Sudkamp (Eds.), In Proceedings of the Workshop on Alternative Techniques for Data Mining and Knowledge Discovery, IEEE International Conference on Data Mining, Brighton, UK, 2004.
2004 | Conference Paper | LibreCat-ID: 15804
Graph alignments: A new concept to detect conserved regions in protein active sites
N. Weskamp, E. Hüllermeier, D. Kuhn, G. Klebe, in: R. Giegerich, J. Stoye (Eds.), In Proceedings of GCB-2004 of the German Conference on Bioinformatics, Bielefeld, Germany, Springer, 2004, pp. 131–140.
LibreCat
N. Weskamp, E. Hüllermeier, D. Kuhn, G. Klebe, in: R. Giegerich, J. Stoye (Eds.), In Proceedings of GCB-2004 of the German Conference on Bioinformatics, Bielefeld, Germany, Springer, 2004, pp. 131–140.
2004 | Conference Paper | LibreCat-ID: 14842
Instance-based prediction with guaranteed confidence
E. Hüllermeier, in: R. Lopez de Mantaras, L. Saitta (Eds.), In Proceedings ECAI-2004, 16th European Conference on Artificial Inteligence, Valencia, Spain, IOS Press, 2004, pp. 97–101.
LibreCat
E. Hüllermeier, in: R. Lopez de Mantaras, L. Saitta (Eds.), In Proceedings ECAI-2004, 16th European Conference on Artificial Inteligence, Valencia, Spain, IOS Press, 2004, pp. 97–101.
2004 | Conference Paper | LibreCat-ID: 15039
Augmented Reality als Hilfsmittel zur Navigation und Interaktion in kooperativen Visualisierungen. 3
F. Goetz, R. Hinn, G. Domik, in: Paderborner Workshop Augmented \& Virtual Reality in Der Produktentstehung, Paderborn, Germany, 2004.
LibreCat
F. Goetz, R. Hinn, G. Domik, in: Paderborner Workshop Augmented \& Virtual Reality in Der Produktentstehung, Paderborn, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 15157
Optimized Internet Search Based on a Intersection Test for XPath Expressions under a DTD
S. Böttcher, R. Steinmetz, in: Proceedings of the International Conference on Internet Computing, IC ’04, 2004, pp. 587–593.
LibreCat
S. Böttcher, R. Steinmetz, in: Proceedings of the International Conference on Internet Computing, IC ’04, 2004, pp. 587–593.
2004 | Conference Paper | LibreCat-ID: 15217
Comparison of ranking procedures in pairwise preference learning
E. Hüllermeier, J. Fürnkranz, in: In Proceedings IPMU-2004 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 2004.
LibreCat
E. Hüllermeier, J. Fürnkranz, in: In Proceedings IPMU-2004 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 2004.
2004 | Conference Paper | LibreCat-ID: 15218
Ranking by pairwise comparison: A note on risk minimization
E. Hüllermeier, J. Fürnkranz, in: In Proceedings FUZZ-IEEE-04, IEEE International Conference on Fuzzy Systems, Budapest, Hungary, 2004.
LibreCat
E. Hüllermeier, J. Fürnkranz, in: In Proceedings FUZZ-IEEE-04, IEEE International Conference on Fuzzy Systems, Budapest, Hungary, 2004.
2004 | Conference Paper | LibreCat-ID: 15219
An earthquake risk assessment method based on fuzzy probability
I. Karimi, E. Hüllermeier, K. Meskouris, in: In Proceedings 6th International FLINS Conference on Applied Computational Intelligence, Duinse Polders, Blankenberg,Belgien, 2004.
LibreCat
I. Karimi, E. Hüllermeier, K. Meskouris, in: In Proceedings 6th International FLINS Conference on Applied Computational Intelligence, Duinse Polders, Blankenberg,Belgien, 2004.
2004 | Conference Paper | LibreCat-ID: 15220
Learning decision rules from positive and negative preferences
E. Hüllermeier, J. Beringer, in: In Proceedings IPMU-2004 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 2004.
LibreCat
E. Hüllermeier, J. Beringer, in: In Proceedings IPMU-2004 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 2004.
2004 | Journal Article | LibreCat-ID: 16185
An evolutionary approach to constraints-regularized learning
E. Hüllermeier, I. Renners, A. Grauel, Mathware and Soft Computing 11 (2004) 109–124.
LibreCat
E. Hüllermeier, I. Renners, A. Grauel, Mathware and Soft Computing 11 (2004) 109–124.
2004 | Journal Article | LibreCat-ID: 16186
Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing
N. Weskamp, D. Kuhn, E. Hüllermeier, G. Klebe, Bioinformatics 20 (2004) 1522–1526.
LibreCat
N. Weskamp, D. Kuhn, E. Hüllermeier, G. Klebe, Bioinformatics 20 (2004) 1522–1526.
2004 | Journal Article | LibreCat-ID: 16187
Flexible constraints for regularization in learning from data
E. Hüllermeier, International Journal of Intelligent Systems 19 (2004) 525–541.
LibreCat
E. Hüllermeier, International Journal of Intelligent Systems 19 (2004) 525–541.
2004 | Journal Article | LibreCat-ID: 16399
The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments
J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, F. Meyer auf der Heide, Presence: Teleoperators and Virtual Environments (2004) 617–637.
LibreCat
| DOI
J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, F. Meyer auf der Heide, Presence: Teleoperators and Virtual Environments (2004) 617–637.
2004 | Conference Paper | LibreCat-ID: 13071
Sensor Networks with More Features Using Less Hardware
M. Liu Jing, S. Ruehrup, C. Schindelhauer, K. Volbert, M. Dierkes, A. Bellgardt, R. Ibers, U. Hilleringmann, in: {GOR/NGB Conference Tilburg 2004}, Tilburg, Netherlands, 2004.
LibreCat
M. Liu Jing, S. Ruehrup, C. Schindelhauer, K. Volbert, M. Dierkes, A. Bellgardt, R. Ibers, U. Hilleringmann, in: {GOR/NGB Conference Tilburg 2004}, Tilburg, Netherlands, 2004.
2004 | Conference Paper | LibreCat-ID: 1002
Distributed maintenance of resource reservation paths in multihop 802.11 networks
E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, A. Wolisz, in: Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
LibreCat
E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, A. Wolisz, in: Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
2004 | Conference Paper | LibreCat-ID: 1006
On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems
J. Gross, H. Karl, A. Wolisz, in: European Wireless 2004, 2004.
LibreCat
J. Gross, H. Karl, A. Wolisz, in: European Wireless 2004, 2004.
2004 | Journal Article | LibreCat-ID: 1017
A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas
M. Kubisch, H. Karl, A. Wolisz, Frequenz (2004) 92--96.
LibreCat
| Files available
| DOI
M. Kubisch, H. Karl, A. Wolisz, Frequenz (2004) 92--96.
2004 | Conference Paper | LibreCat-ID: 1019
Throughput optimization of dynamic OFDM-FDMA systems with inband signaling
J. Gross, H. Karl, A. Wolisz, in: 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.
LibreCat
J. Gross, H. Karl, A. Wolisz, in: 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.
2004 | Conference Paper | LibreCat-ID: 13618
A Runtime Environment for Reconfigurable Hardware Operating Systems
H. Walder, M. Platzner, in: Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), Springer, Berlin, Heidelberg, 2004, pp. 831–835.
LibreCat
| DOI
H. Walder, M. Platzner, in: Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), Springer, Berlin, Heidelberg, 2004, pp. 831–835.
2004 | Conference Paper | LibreCat-ID: 13619
XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems
H. Walder, S. Nobs, M. Platzner, in: Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2004.
LibreCat
H. Walder, S. Nobs, M. Platzner, in: Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2004.
2004 | Conference Paper | LibreCat-ID: 13620
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
M. Dyer, M. Platzner, L. Thiele, in: Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), IEEE CS Press, 2004.
LibreCat
| DOI
M. Dyer, M. Platzner, L. Thiele, in: Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), IEEE CS Press, 2004.
2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat
| DOI
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
2004 | Book Chapter | LibreCat-ID: 33827
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Conference Paper | LibreCat-ID: 39060
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39063
A Formal Model of a Framework for Simulation-Based Animation
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39071
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
LibreCat
| DOI
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2004 | Conference Paper | LibreCat-ID: 39065
Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39068
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
2004 | Conference Paper | LibreCat-ID: 39078
Virtual Prototyping Of Self-Optimizing Mechatronic Systems
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
LibreCat
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
2004 | Conference Paper | LibreCat-ID: 39075
RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
LibreCat
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39082
Multimodal Dialog Description for Mobile Devices
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
LibreCat
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
2004 | Conference Paper | LibreCat-ID: 39350
A Novel Dialog Model for the Design of Multimodal User Interfaces
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
LibreCat
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39352
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47645
Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47642
Implementierung und Evaluierung eines Angriffs auf DSA
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
LibreCat
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47644 |
Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
LibreCat
| Files available
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
LibreCat
| Files available
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
2003 | Report | LibreCat-ID: 2533
A common wireless sensor network architecture?
V. Handziski, A. Köpke, H. Karl, A. Wolisz, A Common Wireless Sensor Network Architecture?, Berlin, 2003.
LibreCat
| Files available
V. Handziski, A. Köpke, H. Karl, A. Wolisz, A Common Wireless Sensor Network Architecture?, Berlin, 2003.
2003 | Conference Paper | LibreCat-ID: 2535
A Mobility Frame work for OMNeT++
W. Drytkiewicz, S. Sroka, V. Handzisk, A. Köpke, H. Karl, in: Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics, 2003.
LibreCat
| Files available
W. Drytkiewicz, S. Sroka, V. Handzisk, A. Köpke, H. Karl, in: Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics, 2003.
2003 | Journal Article | LibreCat-ID: 19726
The Paderborn University BSP (PUB) library
O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.
LibreCat
| DOI
O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.
2003 | Journal Article | LibreCat-ID: 19785
Algorithmic Approaches for Storage Networks
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
LibreCat
| DOI
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
2003 | Conference Paper | LibreCat-ID: 19790
Storage Management as Means to cope with Exponential Information Growth
C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.
LibreCat
| Files available
C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.
2003 | Conference Paper | LibreCat-ID: 19806
Performance of distributed algorithms for topology control in wireless networks
S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.
2003 | Mastersthesis | LibreCat-ID: 19828
Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web
P. Mahlmann, Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.
LibreCat
P. Mahlmann, Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.
2003 | Conference Paper | LibreCat-ID: 19833
Directed power-variable infrared communication for the mini robot Khepera
K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.
LibreCat
K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.
2003 | Conference Paper | LibreCat-ID: 19874
ADB-Trees: Controlling the Error of Time-Critical Collision Detection
J. Klein, G. Zachmann, in: Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 2003, pp. 37–45.
LibreCat
J. Klein, G. Zachmann, in: Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 2003, pp. 37–45.
2003 | Conference Paper | LibreCat-ID: 19900
Time-Critical Collision Detection Using an Average-Case Approach
J. Klein, G. Zachmann, in: Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 2003, pp. 22–31.
LibreCat
| DOI
J. Klein, G. Zachmann, in: Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 2003, pp. 22–31.
2003 | Conference Paper | LibreCat-ID: 19952
Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up
F.V. Fomin, D.M. Thilikos, in: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003.
LibreCat
| DOI
F.V. Fomin, D.M. Thilikos, in: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003.
2003 | Conference Paper | LibreCat-ID: 2418
TKDM – A Reconfigurable Co-processor in a PC's Memory Slot
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2003, pp. 252–259.
LibreCat
| DOI
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2003, pp. 252–259.
2003 | Journal Article | LibreCat-ID: 2419
The Case for Reconfigurable Hardware in Wearable Computing
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, G. Tröster, Personal and Ubiquitous Computing 7 (2003) 299–308.
LibreCat
| DOI
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, G. Tröster, Personal and Ubiquitous Computing 7 (2003) 299–308.
2003 | Journal Article | LibreCat-ID: 2420
Instance-Specific Accelerators for Minimum Covering
C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.
LibreCat
| DOI
C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.
2003 | Conference Paper | LibreCat-ID: 2421
Virtualizing Hardware with Multi-Context Reconfigurable Arrays
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
LibreCat
| DOI
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
2003 | Conference Paper | LibreCat-ID: 2422
Co-simulation of a Hybrid Multi-Context Architecture
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
LibreCat
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
2003 | Conference Paper | LibreCat-ID: 24273
Verteiltes Rendern durch dynamische Bildaufteilung
M. Terbahl, J. Krokowski, in: Proceedings of 5. GI-Informatiktage 2003, Bad Schussenried, Germany, 2003.
LibreCat
M. Terbahl, J. Krokowski, in: Proceedings of 5. GI-Informatiktage 2003, Bad Schussenried, Germany, 2003.
2003 | Conference Paper | LibreCat-ID: 26263
Stability versus Speed in a Computable Algebraic Model
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
LibreCat
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
2003 | Conference Paper | LibreCat-ID: 26277
Computable Operators on Regular Sets
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.
LibreCat
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.
2003 | Journal Article | LibreCat-ID: 3236
Behavioral Subtyping Relations for Active Objects
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
LibreCat
| DOI
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
2003 | Conference Paper | LibreCat-ID: 3237
Preserving Properties Under Change
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat
| DOI
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
2003 | Conference Paper | LibreCat-ID: 3238
Inheritance of Temporal Logic Properties
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat
| DOI
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
2003 | Conference Paper | LibreCat-ID: 3240
Using Coupled Simulations in Non-atomic Refinement
J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.
2003 | Dissertation | LibreCat-ID: 2914
New RSA Vulnerabilities Using Lattice Reduction Methods
A. May, New RSA Vulnerabilities Using Lattice Reduction Methods, Universität Paderborn, 2003.
LibreCat
| Download (ext.)
A. May, New RSA Vulnerabilities Using Lattice Reduction Methods, Universität Paderborn, 2003.
2003 | Book Chapter | LibreCat-ID: 3016
New Partial Key Exposure Attacks on RSA
J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.
LibreCat
| DOI
J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.
2003 | Book Chapter | LibreCat-ID: 3018
Fault Based Cryptanalysis of the Advanced Encryption Standard (AES)
J. Blömer, J.-P. Seifert, in: Financial Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 162–181.
LibreCat
| DOI
J. Blömer, J.-P. Seifert, in: Financial Cryptography, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 162–181.
2003 | Conference Paper | LibreCat-ID: 2128
Smoothed Motion Complexity
V. Damerow, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, in: ESA, Springer, 2003, pp. 161--171.
LibreCat
| DOI
V. Damerow, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, in: ESA, Springer, 2003, pp. 161--171.
2003 | Conference Paper | LibreCat-ID: 2129 |
Anycasting in Adversarial Systems: Routing and Admission Control
B. Awerbuch, A. Brinkmann, C. Scheideler, in: ICALP, Springer, 2003, pp. 1153--1168.
LibreCat
| Files available
B. Awerbuch, A. Brinkmann, C. Scheideler, in: ICALP, Springer, 2003, pp. 1153--1168.
2003 | Conference Paper | LibreCat-ID: 2130 |
Peer-to-peer systems for prefix search
B. Awerbuch, C. Scheideler, in: PODC, ACM, 2003, pp. 123--132.
LibreCat
| Files available
B. Awerbuch, C. Scheideler, in: PODC, ACM, 2003, pp. 123--132.