• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2004
55 Citationer (Scopus)

Prescription, Description, Reflection: the shape of the software process improvement field

Hansen, B., Rose, J. & Tjørnehøj, G., 2004, UK Association of Information Systems Conference, Glasgow. Powell, P. & Grant, K. (red.).

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

Probabilistic Role Models and the Guarded Fragment

Jaeger, M., 2004, Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Editrice Universita La Sapienza, s. 235-242 8 s.

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

Semantics
Sampling
Statistical Models

Quality Estimation of Component-Based Embedded Systems

Holmegaard, J. P., Ravn, A. P. & Koch, P., 2004, Proceedings of Euromicro Work in Progress.

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

Query and Update Efficient B+-Tree Based Indexing of Moving Objects

Jensen, C. S., Lin, D. & Ooi, B. C., 2004, Proceedings of the Thirtieth International Conference on Very Large Data Bases. s. 768-779 12 s.

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

Linearization
Information management
Monitoring
Sensors
Costs

Query Load Balancing For Visible Object Extraction

Bukauskas, L. & Bøhlen, M. H., 2004, Procedings of 8th International Database Engineering and Applications Symposium (IDEAS 2004). IEEE Computer Society Press, s. 344-353 10 s.

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

Resource allocation
Visualization
Hardware
Data storage equipment

Recursive Ping-Pong Protocols

Huttel, H. & Srba, J., 2004, Proceedings of 4th International Workshop on Issues in the Theory of Security. s. 129-140 12 s.

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

Calculus
Process Calculi
Reachability Analysis
Bisimulation
Turing
132 Downloads (Pure)

Redskaber til monitorering af trafikken (REMOTE)

Lahrmann, H. S., Torp, K., Runge Madsen, J., Heide, P., Raguse, J., Juhl, J., Harms, L. & Hage, C., 2004, Trafikdage på Aalborg Universitet [Online]. Trafikforskningsgruppen, Aalborg Universitet, 21 s.

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

Åben adgang
Fil
31 Citationer (Scopus)

Resource-Optimal Scheduling Using Priced Timed Automata

Larsen, K. G., Rasmussen, J. I. & Subramani, K., 2004, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,: Lecture Notes in Computer Science. Jensen, Kurt ; Podelski, Andreas (eds.) (red.). 2988 udg. Sringer Verlag, s. 220-235

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

Scheduling
Costs
30 Citationer (Scopus)

Schema Evolution for Stars and Snowflakes

Bidragets oversatte titel: Skemaevolution for stjerner og snefugKaas, C., Pedersen, T. B. & Rasmussen, B., 2004, Proceedings of the Sixth International Conference on Enterprise Information Systems. s. 425-433 9 s.

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

Stars
Data warehouses
Semantics

Scheme Program Documentation Tools

Nørmark, K., 2004, Proceedings of the Fifth SIGPLAN ACM Workshop on Scheme and Functional Programming. Shivers, O. & Waddell, O. (red.). Computer Science Department, Indiana University

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

Program documentation
XML
Application programming interfaces (API)
Interfaces (computer)
182 Downloads (Pure)

Sequential influence diagrams: a unified asymmetry framework

Jensen, F. V., Nielsen, T. D. & Shenoy, P., 2004, Proceedings of the second European Workshop on Probabilistic Graphical Models.

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

Åben adgang
Fil

Software thinking improvement learning performance improving lessons

Pedersen, K., 2004, Software Process Improvement, Proceedings.

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

Standardising Software Processes - An Obstacle for Innovation?

Aaen, I. & Pries-Heje, J., 2004, IFIP WG 8.6 Seventh Working Conference on IT Innovation for Adaptablity and Competitiveness: Ifip Tc8. Fitzgerald, B. & Wynn, E. (red.). Kluwer Academic Publishers, s. 17-133

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

Standardization
Software process
Company growth
Innovation
Innovative capability
43 Citationer (Scopus)

Staying Alive as Cheaply as Possible

Larsen, K. G., Bouyer, P. & Brinksma, E., 2004, Proceedings of the 7th International Conference on Hybrid Systems: Computation and Control: Lecture Notes in Computer Science. 2993 udg. Springer, s. 203-218 16 s.

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

22 Citationer (Scopus)
146 Downloads (Pure)

Supporting Work Activities in Healthcare by Mobile Electronic Patient Records

Kjeldskov, J. & Skov, M. B., 2004, Proceedings of APCHI 2004: Lecture Notes in Computer Science. Springer, s. 191-200 10 s.

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

Fil
2 Citationer (Scopus)

Synchronizing XPath Views

Bidragets oversatte titel: Synkronisering af XPath ViewsPedersen, D. & Pedersen, T. B., 2004, Proceedings of the Eighth International Database Engineering and Applications Symposium. IEEE Computer Society Press, s. 149-160 12 s.

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

XML
World Wide Web
Synchronization
Availability
4 Citationer (Scopus)

The Decoration Operator: A Foundation for On-Line Dimensional Data Integration

Pedersen, D., Pedersen, T. B. & Riis, K., 2004, Proceedings of the Eighth International Database Engineering and Applications Symposium. IEEE Computer Society Press, s. 357-366 10 s.

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

Data integration
Mathematical operators
Processing
Algebra
Semantics

The double dance of agency: a socio-theoretic account of how machines and humans interact

Rose, J. & Jones, M., 2004, ALOIS Workshop: Action in Language, Organisations and Information Systems. Goldkuhl, G., Lind, M. & Cronholm, S. (red.). Linköping University. Linköping

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

37 Citationer (Scopus)

Time-Optimal Real-Time Test Case Generation using UPPAAL

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2004, Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003: Lecture Notes in Computer Science. Petrenko, Alexandre : Ulrich, Andreas (eds.) (red.). 2931 udg. IEEE Computer Society Press, s. 118-135

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

Towards a Handbook for User-Centred Mobile Application Design

Boll, S., Breunig, M., Davies, N., Jensen, C. S., König-Ries, B., Malaka, R., Matthes, F., Panayiotou, C., Saltenis, S. & Schwarz, T., 2004, Dagstuhl Seminar 04441 on Mobile Information Management. 8 s.

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

Application programs
227 Downloads (Pure)

Towards A Streams-Based Framework for Defining Location-Based Queries

Huang, X. & Jensen, C. S., 2004, Proceedings of the Second International Workshop on Spatio-Temporal Database Management. Sander, J. & Nascimento, M. A. (red.). s. 73-80 8 s.

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

Åben adgang
Fil
Semantics
Processing
59 Downloads (Pure)

Trust in mobile guide design: exploiting interaction paradigm

Graham, C., Cheverst, K., Howard, S., Kjeldskov, J. & Vetere, F., 2004, Proceedings of OzCHI 2004. CHISIG

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

Fil
54 Citationer (Scopus)

T-UPPAAL: Online Model-based Testing of Real-Time Systems.

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2004, 19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings. Grunbacher, P. (red.). IEEE Computer Society Press, s. 396-397 3 s.

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

Real time systems
Testing

Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2004, Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, s. 19-28

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

154 Downloads (Pure)

Using Cultural Probes to Explore Mediated Intimacy

Kjeldskov, J., Gibbs, M., Vetere, F., Howard, S., Pedell, S., Mecoles, K. & Bunyan, M., 2004, Proceedings of OzCHI 2004. CHISIG

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

Fil
2003

A Case-based Assessment of Recommendations for Implementing Software Metrics

Frederiksen, H. D., 2003, Proceedings of EuroSPI'2003 Conference, Dec. 10-12 2003, Graz, Austria.

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

7 Citationer (Scopus)

Access methods and query processing techniques

Di Pasquale, A., Forlizzi, L., Jensen, C. S., Manolopoulos, Y., Nardelli, E., Pfoser, D., Proietti, G., Saltenis, S., Theodoridis, Y. & Tzouramanis, T., 2003, Spatio-Temporal Databases: the Chorochronos Approach. Sellis, T.: Koubarakis, M.: Frank, A.: Grumbach, S.: Güting, G. H.: Jensen, C. J. :Lorentzos, N.: Manolopou-los, Y. : Nardelli, E.: Pernici, B.: Theodoulidis, B.: Schek, H. J. : Scholl, M (red.). IEEE Computer Society Press, s. 203-261 (Lecture Notes in Computer Science; Nr. 2520).

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

11 Citationer (Scopus)

Achieving Adaptivity For OLAP-XML Federations

Pedersen, D. & Pedersen, T. B., 2003, Proceedings of the ACM Fifth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, s. 25-32

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

Adding symmetry reduction to UPPAAL

Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

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

Anticipated Activities in Process Control, Literary Fiction, and Business Processes

Andersen, P. B., 2003, Proceedings of the 6th Int. Workshop on Organizational Semiotics. Dept. of Computer Science, University of Reading:. s. 1-28

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

Applying Object Oriented Bayesian Networks to Large Medical Decision Support Systems

Bangsø, O. & Olesen, K. G., 2003, Proceedings of SCAI' 03. <Forlag uden navn>

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

9 Citationer (Scopus)

Architectures and implementations of spatio-temporal database management systems

Breunig, M., Turker, C., Böhlen, M., Dieker, S., Guting, R. H., Jensen, C. S., Relly, L., Rigaux, P., Schek, H. J. & Scholl, M., 2003, Spatio-Temporal Databases: the Chrochronos Approach. Bind 2520. s. 263-318

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

1 Citation (Scopus)

A Representation Theorem and Applications

Jaeger, M., 2003, Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU): Lecture Notes in Artificial Intelligence. 2711 udg. IEEE Computer Society Press, s. 50-61

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

1221 Downloads (Pure)

A Review of MobileHCI Research Methods

Kjeldskov, J. & Graham, C., 2003, Proceedings of the 5th International Mobile HCI 2003 conference, September 8-11 2003, Udine, Italy: Lecture Notes in Computer Science. Springer

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

Fil

AsmL Specification of a Ptolemy II Scheduler

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (red.). 2589 udg. Springer, s. 417

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

1 Citation (Scopus)

A Software Configuration Management Course

Asklund, U. & Bendix, L. G., 2003, Proceedings of the 11th International Workshop on Software Configuration Management, May 9-10 2003, Portland, Oregon: Lecture Notes in Computer Science. 2649 udg. IEEE Computer Society Press

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

9 Citationer (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

Building Strategic Supplier Collaboration Through Gaming

Kaltoft, R. M., Nielsen, J. S., Jensen, P. K. & Møller, C., 2003, Experimental Interactive Learning in Industrial Management, Proceedings of the 7th International Workshop on Experimental Interactive Learning in Industrial Management. Nicholson, J. O. R. R. S. A. (red.).

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

Coaching Coaches

Hedin, G., Bendix, L. G. & Magnusson, B., 2003, Proceedings of the 4th International Conference on eXtreme Programming and Agile Process in Software Engineering, May 25-29 2003, Genova, Italy.

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

Comparing Usability Evaluations of Mobile Systems

Als, B. S., Høegh, T. H., Kjeldskov, J., Skov, M. B. & Stage, J., 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. Denmark.

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

Component Based Development - Where is the Place for Formalism?

Makowski, P. & Ravn, A. P., 2003, Procedings of the Workshop on Formal Aspects of Component Software FACS´03, UNU Int. Institute for Software Technology, Macau, September 2003: UNU/IIST Tech. Rep. ,. Liu, E. . D. V. H. Z. (red.). 284 udg.

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

64 Citationer (Scopus)

Computational Data Modeling for Network-Constrained Moving Objects

Jensen, C. S., Speicys, L. & Kligys, A., 2003, Proceedings of the Eleventh International Symposium on Advances in Geographic Information Systems, New Orleans, LA, November 7–8.

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

30 Citationer (Scopus)

Conceptual models for spatio-temporal applications

Tryfona, N., Price, N. J. & Jensen, C. S., 2003, Spatio-Temporal Databases: The Chorochronos Approach. IEEE Computer Society Press, s. 79-116 (Lecture Notes in Computer Science; Nr. 2520).

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

Configuration Management for eXtreme Programming

Asklund, U., Bendix, L. G. & Ekman, T., 2003, SERPS'03, 23.-24. oktober 2003, Lund University.

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

Correctness Proof for Single Point Algorithms in Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Ninth International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Gran Canaria, s. 156-159

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

Cracking the Code: The Dynamics of Professional Knowledge

Mathiassen, L., Robertson, M. & Swan, J., 2003, OKLC 2003, April 13.14 2003, University of Navarra, Barcelona, Spain. IESE Business School

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

190 Downloads (Pure)

Creating Realistic Laboratory Settings: Comparative Studies of Three Think-Aloud Usability Evaluations of a Mobile System

Kjeldskov, J. & Skov, M. B., 2003, Proceedings of the 9th IFIP TC13 International Conference on Human-Computer Interaction (Interact2003). IOS Press, s. 663-670

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

Fil

Data Management for Moving Objects

Jensen, C. S., 2003, Procedings of the 2003 International Telematics and LBS Workshop. s. 163-180

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

18 Citationer (Scopus)

Data Modeling for Mobile Services in the Real World

Jensen, C. S., Pedersen, T. B., Speicys, L. & Timko, I., 2003, Proceedings of the Eighth International Symposium on Spatial and Temporal Databases, Santorini, Greece, July 24–27: Lecture Notes in Computer Science. 2750 udg. s. 1-9

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

3 Citationer (Scopus)
188 Downloads (Pure)

Designing the Handheld Maritime Communicator

Kjeldskov, J. & Stage, J., 2003, Proceedings of the 1st Conference on Designing User Experiences, DUX 2003. ACM. Association for Computing Machinery

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

Fil