• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2003

Rationalizing, Probing and Understanding: The Evolution of the Inter Organizational Systems Adoption Field

Ramanathan, S. & Rose, J., 2003, Hawaii International Conference on Social Sciences (HICSS), Hawaii,USA. IEEE Computer Society Press, s. 254

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Real-time system testing on-the-fly

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2003, The 15th Nordic Workshop on Programming Theory (NWPT’03). Kaisa Sere and Marina Walden and Anna Karlsson (red.). Åbo Akademi University

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Requirements for UML and OWL Integration Tool for User Data Consistency Modeling and Testing

Nytun, J. P., Jensen, C. S. & Oleshchuk, V. A., 2003, Norsk informatikkonferanse 2003, Oslo, Norway, November 24–26.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Research Philosophies in the IOS Adoption Field

Somasundaram, R. & Karlsbjerg, J., 2003, Proceedings of the 11th European Conference on Information Systems.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

6 Citationer (Scopus)

Resource-Efficient Scheduling for Real Time Systems

Larsen, K. G., 2003, Proceedings of the 3rd Internatilnal Conference in Embedded Software (EMSOFT 2003): Lecture Notes in Computer Science. Bind 2855. s. 16-19

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Saying and Doing at sea

Andersen, P. B., 2003, Lindkoping University.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Citation (Scopus)

Single Point Algorithms in Genetic Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Revised Selected Papers: Lecture Notes in Computer Science. 2809 udg. s. 372-383

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Slide Reprints from the Workshop on Process Algebra: Open Problems and Future Directions

Aceto, L. . ., Hansen, J. A. . ., Ingolfsdottir, A. . ., Johnsen, J. . . & Knudsen, J. . ., 2003, BRICS Note: BRICS Note. 03-3 udg. Department of Computer Science, Aarhus University

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Software Configuration Management Problems and Solutions to Software Variability Management

Bendix, L. G., 2003, Proceedings of the ICSE-2003 Workshop on Software Variability Management, Portland, Oregon, May 3.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Spatio-temporal models and languages: An approach based on data types

Güting, R. H., Vazirgiannis, M., Böhlen, M., Erwig, M., Forlizzi, L., Jensen, C. S., Lorentzos, N., Nardelli, E. & Schneider, M., 2003, Spatiotemporal Databases: The Chorochronos Approach. Sellis, T., Koubarakis, M., Frank, A., Grumbach, S., Guting, R. H., Jensen, C. S., Lorentzos, N. & Manolopoulos, Y. (red.). IEEE Computer Society Press, s. 117-176 (Lecture Notes in Computer Science; Nr. 2520).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

44 Citationer (Scopus)

Static Guard Analysis in Timed Automata Verification

Behrmann, G., Bouyer, P., Fleury, E. & Larsen, K. G., 2003, Proceedings of TACAS 2003. IEEE Computer Society Press, s. 254-277 (Lecture Notes in Computer Science; Nr. 2619).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

135 Citationer (Scopus)

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach

Lee, M. L., Hsu, W., Jensen, C. S., Cui, B. & Teo, K. L., 2003, Proceedings of the Twentynineth International Conference on Very Large Data Bases, Berlin, Germany, September 9–11. s. 608-619

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Supporting Novices in Detecting Web Site Usability Problems: A Comparison of the Think-Aloud and Questionnaire Methods

Skov, M. B. & Stage, J., 2003, Proceedings of the 10th Conference on Human-Computer Interaction. Lawrence Erlbaum Associates, s. 858-862

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

17 Citationer (Scopus)

Teaching Programming to Liberal Arts Students— a Narrative Media Approach

Bennedsen, J., Brandorff, S., Caspersen, M. E., Mosegaard, J. & Andersen, P. B., 2003, The ITiCSE 2003 conference (Thessaloniki, Greece University of Macedonia. Association for Computing Machinery

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Citation (Scopus)

The Complexity of Checking Consistency of Pedigree Information and Related Problems

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS'03). University Center Bertinoro, Italy, 13-15 October 2003: Lecture Notes in Computer Science. Carlo Blundo and Cosimo Laneve (eds.) (red.). 2841 udg. Springer, s. 174-187

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The duality of XML Markup and Programming notation

Bidragets oversatte titel: The duality of {XML} Markup and Programming notationNørmark, K., 2003, Proceedings of the IADIS Conference. <Forlag uden navn>

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The Dynamics of Knowledge in Systems Development Practice

Mathiassen, L. & Pedersen, K., 2003, The Twenty-sixth Information Systems Research Seminar in Scandinavia 2003.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

59 Citationer (Scopus)

The Hugin Tool for Learning Bayesian Networks

Madsen, A. L., Lang, M., Kjærulff, U. B. & Jensen, F., 2003, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference. Nielsen, T. D. & Zhang, N. L. (red.). Springer, s. 594-605 (Lecture Notes in Computer Science; Nr. 2711).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The Meeting of Processes

Bygstad, P. & Nielsen, P. A., 2003, Proceedings of the 26th IRIS, Helsinki, Finland, August 2003.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

The Problem of Agency; How Humans Act, How Machines Act

Rose, J., Jones, M. & Truex, D., 2003, ALOIS Workshop: Action in Language, Organisations and Information Systems. Sweden.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

10 Downloads (Pure)

The Process of Developing a Mobile Device for Communication in a Safety-Critical Domain

Kjeldskov, J. & Stage, J., 2003, Proceedings of the 9th IFIP TC13 International Conference on Human Computer Interaction, Interact 2003. IOS Press

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil

Time-Optimal Test Cases for Real-Time Systems

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

To Store or Not to Store

Behrmann, G., Larsen, K. G. & Pelánek, R., 2003, Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725 udg. s. 433-445

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

8 Citationer (Scopus)

Towards a Structurational Theory of Information Systems: a substantive case analysis

Rose, J. & Hackney, R. H., 2003, Hawaii International Conference on Systems Science, Hawaii..

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Towards Reliable Integrated Services for Dependable Systems

Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, EuroMicro 03 Satelite Event on Real Time Lans in the Internet Age (RTLIA) Porto, Portugal, July 2003.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Translation of Network Configurations - A Case Study of System Implementation in a Hospital

Nilsson, A., Grissot, M. & Mathiassen, L., 2003, IFIP WG 8.6 Conference (2003).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

12 Citationer (Scopus)

Undecidability of Weak Bisimilarity for PA-Processes

Srba, J., 2003, Proceedings of 6th International Conference on Developments in Language Theory (DLT'02): LNCS,. 2450 udg. Springer, s. 197-208

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

169 Downloads (Pure)

Unification & sharing in timed automata verification

David, A., Behrmann, G., Larsen, K. G. & Yi, W., 2003, 10th International SPIN Workshop 2003. IEEE Computer Society Press, s. 225-229 (Lecture Notes in Computer Science; Nr. 2648).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Åben adgang
Fil
Data structures
Computer operating systems
Model checking
Managers
Pipelines

Unit Testing Using Design by Contract and Equivalence Partitions, Extreme Programming and Agile Processes in Software Engineering

Madsen, P., 2003, 4th International Conference, XP 2003, Genova, Italy May: Lecture Notes in Computer Science,. 2675 udg. IEEE Computer Society Press, s. 425-426

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Unsupervised Feature Subset Selection

Søndberg-Madsen, N., Thomsen, C. & Pena, J., 2003, Proceedings on the Workshop on Probabilistic Graphical Models for Classification: (within ECML/PKDD 2003). s. 71-82 11 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Unsupervised learning

XML transformation in Scheme with LAML - a minimalistic approach

Bidragets oversatte titel: {XML} transformation in {Scheme} with {LAML} - a minimalistic approachNørmark, K., 2003, Association of Lisp Users. Association of Lisp Users

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

2002
23 Citationer (Scopus)

A Hybrid Approach To Web Usage Mining

Jespersen, S., Thorhauge, J. & Pedersen, T. B., 2002, Proceedings of the Fourth International Conference on Data Warehousing and Knowledge Discovery: Lecture notes in computer science. Kambayashi, Yahiko (ed.) : Winiwater, Werner (ed.) : Arikawa, Masatoshi (ed.) (red.). 2454 udg. IEEE Computer Society Press, s. 73-82

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Analyzing control Traffic Overhead in Mobile Ad-hoc Network Protocols versus Mobility and Data Traffic Activity

Jacquet, P., Viennot, L. & Clausen, T. H., 2002, IFIP Med Hoc Net 2002.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

An extension of lazy evaluation for influence diagrams avoiding redundant variables in the potentials

Vomlelova, M. & Jensen, F. V., 2002, Proceedings of the First European Workshop on Probabilistic Graphical Models, Cuenca, Spain. s. 186-193

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A Powerful and SQL-Compatible Data Model and Query Language for OLAP

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Zhou, Xiaofang (ed.): ACS Conferences in Research and Practice in Information Technology (CRPIT). 5 udg. Australian Computer Society, s. 121-130

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

5 Citationer (Scopus)

Aspects of Internal Program Documentation: An Elucidative Perspective

Vestdam, T. & Nørmark, K., 2002, 10th International Workshop on Program Comprehension, 27-29 June, 2002, Paris, France. IEEE Computer Society Press

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A Task-Based Theory of Information Services

Mathiassen, L. & Sørensen, C., 2002, Bødker, Keld (ed.) ...[et al.].

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Bayesian Networks in Educational Testing

Vomlel, J., 2002, Gámez, J.A. (ed.) : Salmerón, A. (ed.): Studies in Fuzziness and Soft Computing. Springer

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Challenging Software Process Improvement by Design

Aaen, I., 2002, Proceedings of Xth European Conference on Information Systems. Vol. 1. Wrycza, S. (red.). ECIS, s. 379-390

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Comparative Study of Routing Protocols for Mobile Ad-hoc NETworks

Clausen, T. H., Jacquet, P. & Viennot, L., 2002, IFIP Med Hoc Net 2002.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

8 Citationer (Scopus)

Cost Modeling and Estimation for OLAP-XML Federations

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Proceedings of the Fourth International Conference on Data Warehousing and Knowledge Discovery (DaWaK'02), Aix-en-Provence, September 4-6, 2002: Lecture Notes in Computer Science. 2454 udg. Springer, s. 245-254

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Citation (Scopus)

Current, Legacy, and Invalid Tuples in Conditionally Evolving Databases

Jensen, O. G. & Bøhlen, M. H., 2002, Yakhno, T. (Ed.): Lecture notes in computer science. 2457 udg. IEEE Computer Society Press, s. 65-

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Data Representation and Indexing in Location-Enabled M-Services

Jensen, C. S. & Saltenis, S., 2002, National Science Foundation Workshop on Context-Aware Mobile Database Management, Providence, RI, USA, January 24-25. s. 3

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Deciding Framed Bisimilarity

Huttel, H., 2002, Proceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002: FIMU. RS-2002-04 udg. s. 1-20

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Dimension Correction for Hierarchical Latent Class Models

Kocka, T. & Zhang, L. N., 2002, Darwiche, A. (ed.) : Friedman (ed.). Kaufmann, s. 267-274

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Dominant technological discourses in action: paradigmatic shifts in sense making in the implementation of an ERP system

Rose, J. & Jensen, P. K., 2002, IFIP TC8/ WG 8.2 Conference, Barcelona..

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Equational Axioms for Probabilistic Bisimulation

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2002, Kirchner, H. (ed.) : Ringeissen, C. (ed.): Lecture Notes in Computer Science. 2422 udg. IEEE Computer Society Press, s. 239-253

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Evaluating the Usability of Mobile Systems: Exploring Different Laboratory Approaches

Kjeldskov, J. & Skov, M., 2002, Bertelsen, Olav W. (ed.): ACM International Conference Proceeding Series. Association for Computing Machinery, s. 34-35

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Event Modeling in UML. Unified Modeling Language and Unified Process

Bækgaard, L., 2002, Issues and Trends of Information Technology: Management in Contemporary Organizations. Khosrow-Pour, M. (red.). Idea Group Publishing, 5 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

Unified Modeling Language
Processing

Experinece from Implementing Software Metrics for Benchmarking

Frederiksen, H. D., 2002, Bødker, Keld (ed.) ...[et al.].

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning