• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2004

Minimal DBM substraction

Larsen, K. G., David, A., Håkansson, J. & Pettersson, P., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala Technical Report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. s. 17-21 5 s.

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

MobileWard: A Context-Aware Mobile System Supporting Work in a Hospital Ward

Høegh, R. T. & Skov, M. B., 2004, Proceedings of the IADIS Applied Computing 2004 Conference. s. 218-223 6 s.

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

Modeling and Verifiying Parallel Processes

Larsen, K. G., 2004, Proceedings of MOVEP 2004. Raskin, J-F. (red.).

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

modeling
223 Downloads (Pure)

Multi-currency Influence Diagrams

Nielsen, S. H., Nielsen, T. D. & Jensen, F. V., 2004, Proceedings of the Second European Workshop on Probabilistic Graphical Models. Lucas, P. (red.). s. 153-160 8 s.

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

Åben adgang
Fil
Influence Diagrams
Currency
Decision problem
Optimal Strategy
Inaccurate
343 Downloads (Pure)

Multitemporal conditional schema evolution

Jensen, O. G. & Bøhlen, M. H., 2004, Conceptual Modeling for Advanced Application Domains. Wang (red.). IEEE Computer Society Press, s. 441-454 (Lecture Notes in Computer Science; Nr. 3289).

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

Åben adgang
Fil

Online Testing of Real-time Systems using Uppaal: Status and Future Work

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (red.). IBFI gem. GmbH, Schloss Dagstuhl, Bind 04371.

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

On the Construction of Connectivity Test Cases in the Setting of UppAal

Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Bind 3235.

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

31 Citationer (Scopus)

Optimal Scheduling and Priced Timed Automata

Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. s. 93-94 2 s.

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

62 Citationer (Scopus)

Optimal Strategies in Priced Timed Game Automata

Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 udg. Springer, s. 148-160 13 s.

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

Parameter estimation using B-Trees

Schmidt, A. & Bøhlen, M. H., 2004, INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. IEEE Computer Society Press, s. 325-333

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

251 Downloads (Pure)

Parameter Reusing in Learning Latent Class Models

Karciauskas, G., Jensen, F. V. & Kocka, T., 2004, Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics.

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

Åben adgang
Fil

Performance of the NorduGrid ARC and the Dulcinea Executor in ATLAS Data Challenge 2

Kleist, J., Eerola, P., Ekelöf, T., Smirnova, O., Ellert, M., Hansen, J. R., Konstantinov, A., Kónya, B., Nielsen, J. L., Ould-Saada, F., Wäänänen, A., Sturrock, R., Jensen, H. T., Kalici, D., Teras, A., Heller, H., Kennedy, J., Duckeck, G., Mycklebust, J. F., Pajchel, K. & 13 flere, Read, A., Riiser, H., Hanshaugen, M., Sunde, S., Filipic, A., Tadel, M., Nixon, L., Lindemann, J., Malinowsky, L., Smeds, N., Sandgren, A., Wadenstein, M. & Haeberli, C., 2004, Proceedings of CHEP'04.

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

resource
production system
information system
software
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)
181 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)
141 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
226 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

151 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

1217 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