Thomas Thüm - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged context-aware

Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011:

A Machine-Checked Proof for a Product-Line-Aware Type SystemThomas Thüm. Master's thesis, University of Magdeburg, Germany, January 2010.

How to use KM effectively in a European context: the case of BCT in RomaniaElena Marilena Porumb, Farhad Analoui. ijbis, 3(6):609-623, 2008. [doi]

Implementing filesystems by tree-aware DBMSsAlexander Holupirek, Marc H. Scholl. pvldb, 1(2):1623-1630, 2008. [doi]

PHY- and MAC-aware Resource Allocation and Packet Scheduling for Single-Cell OFDMA Packet NetworksAntonis G. Gotsis, Nektarios Th. Koutsokeras, Philip Constantinou. jcm, 3(4):59-70, 2008. [doi]

The Karman Vortex in a Medical Imaging Context: A Validated Computational Model of Laminar SheddingIn MSV. 2008: 185-190

Context, perspective, and programsGregor Kiczales. OOPSLA 2007: 726 [doi]

Distributed cognition in the heart room: How situation awareness arises from coordinated communications during cardiac surgeryBrian Hazlehurst, Carmit K. McMullen, Paul N. Gorman. jbi, 40(5):539-551, 2007. [doi]

Addressing Context Awareness Techniques in Body Sensor NetworksBarbara T. Korel, Simon G. M. Koo. aina 2007: 798-803 [doi]

Nonconvulsive Status Epilepticus with an Unusual EEG: Another Look at Lateralities of Motor Control and AwarenessI. Derakhshan. psb 2006: 421-433

Reasoning about Knowledge and Context-AwarenessMichael Cebulla. flairs 2006: 625-630

Measuring online information seeking context, Part 1: Background and methodDiane Kelly. jasis, 57(13):1729-1739, 2006. [doi]

A model of allelopathy in the context of bacteriocin productionMartha L. Abell, James P. Braselton, Lorraine M. Braselton. amc, 183(2):916-931, 2006. [doi]

Contributions to Quality-Aware Online Query ProcessingLaure Berti-Equille. DEBU, 29(2):32-42, 2006. [doi]

Does Light Direct Life Toward Cosmic Awareness?Tom Head. FUIN, 64(1-4):185-189, 2005. [doi]

A Similarity Measure for Task ContextsRoza Shkundina, Sven Schwarz. iccbr 2005: 261-270

Dealing with I/O Devices in the Context of Pervasive System VerificationMark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul. iccd 2005: 309-316 [doi]

A Power-Aware Branch Predictor by Accessing the BTB SelectivelyCheol Kim, Sung Chung, Chu Shik Jhon. jcst, 20(5):607-614, 2005. [doi]

DAG-aware circuit compression for formal verificationPer Bjesse, Arne Borälv. iccad 2004: 42-49 [doi]

Inter-Organizational Knowledge Management: The Importance of Organizational and Environmental ContextJosep Capó, Enrique Masiá, Francisco-Cruz Lario Esteban. ifip5-5 2004: 153-160

Context for semantic metadataKenneth B. Haase. mm 2004: 204-211 [doi]

Accessing Hypermedia Systems Efectiveness in Learning ContextsSilvina Santana, Alexander Silva. ICEIS 2004: 250-253

The Liar, Context and Logical FormLon A. Berk. jolli, 13(3):267-286, 2004. [doi]

Power-aware implementation of ASIC/SOC in 0.13 micron CMOS technologyAleksandar Pance, Madan Mohan, Paul Master. iscas 2004: 457-460

A Communication-Aware Task Scheduling Algorithm for Heterogeneous SystemsGuan-Joe Lai. dexaw 2003: 161-166 [doi]

The impact of situation awareness information on consumer attitudes in the Internet shopping mallMoon-Bong Lee, Kil Soo Suh, Jaehoon Whang. ecra, 2(3):254-265, 2003. [doi]

Instant collaboration: using context-aware instant messaging for session management in distributed collaboration toolsKlaus Marius Hansen, Christian Heide Damm. nordichi 2002: 279-282 [doi]

Generic adaptation mechanism for the support of context-aware service provision in 3G networksN. Houssos, S. Pantazis, A. Alonistioti. mwcn 2002: 458-462 [doi]

Personalised Briefing Agents to Improve Situational AwarenessGraham S. Horn, Zoë P. Lock. aois 2002: [doi]

Performance aware software development (PASD) using resource demand budgetswosp 2002: 275-285 [doi]

Awareness of toddlers initial cognitive experiences with virtual realityDavid Passig, P. Klein, Tali Noyman. jcal, 17(4):332-344, 2001. [doi]

The growth function of context-free languagesRoberto Incitti. TCS, 255(1-2):601-605, 2001. [doi]

VC-Dimension of a Context-Dependent PerceptronPiotr Ciskowski. context 2001: 429-432 [doi]

Consider the Alternatives: Focus in Contrast and ContextJocelyn Cohan. context 2001: 102-115 [doi]

On Slender Context-Free LanguagesPál Dömösi, Alexandru Mateescu. BIRTHDAY 2000: 97-103

Understanding GDSS in Symbolic Context: Shifting the Focus from Technology to InteractionAbhijit Gopal, Pushkala Prasad. misq, 24(3):509-546, 2000. [doi]

Effects of Discourse Context on Inference Computation During ComprehensionYasunori Morishima. context 1999: 491-494 [doi]

Training for strategic decision making in professional contextsDominique Leclet, Gérard Weidenfeld. jcal, 14(2):140-147, 1998. [doi]

Integrative systems: assessing requirements and capabilities for intra- and inter-organizational contextsJ. W. Sutherland. tsmc, 28(2):159-182, 1998.

First-Class Contexts in MLMasatomo Hashimoto. asian 1998: 206-223 [doi]

Generating Words in a Context-Free Language Uniformly at RandomHarry G. Mairson. ipl, 49(2):95-99, 1994.

Regular Approximations to Shuffle Products of Context-free Languages, and Convergence of their Generating FunctionsRobert S. Maier, René Schott. fct 1993: 352-362

Extending the Brewer-Nash Model to a Multilevel ContextCatherine Meadows. sp 1990: 95-103

Caterpillars and Context-Free LanguagesMichal Chytil, Burkhard Monien. STACS 1990: 70-81

Size of context in regenerative IL systemsAlica Kelemenová. DAM, 26(1):117-119, 1990. [doi]

Assuring Retrievability from Unstructured Databases by ContextsAmihai Motro. icde 1986: 426-433 [doi]

Theory of omega-Languages. I. Characterizations of omega-Context-Free LanguagesRina S. Cohen, Arie Y. Gold. jcss, 15(2):169-184, 1977.

A Computerized Current Awareness System for Journal LiteratureHerman Skolnik. jcisd, 17(2):75-78, 1977. [doi]

A Hierarchy of Context-Sensitive LanguagesIrina Gorun. mfcs 1976: 299-303

The Tape-Complexity of Context-Independent Developmental LanguagesJan van Leeuwen. jcss, 11(2):203-211, 1975.

runs on WebDSL