Sciweavers

1733 search results - page 221 / 347
» Critical Information Systems Research: A Habermasian Approac...
Sort
View
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
15 years 7 months ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
CORR
2007
Springer
189views Education» more  CORR 2007»
15 years 1 months ago
Diversity-Multiplexing Tradeoff of Asynchronous Cooperative Diversity in Wireless Networks
Synchronization of relay nodes is an important and critical issue in exploiting cooperative diversity in wireless networks. In this paper, two asynchronous cooperative diversity s...
Shuangqing Wei
HICSS
2005
IEEE
173views Biometrics» more  HICSS 2005»
15 years 7 months ago
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
William N. Robinson
COSIT
2003
Springer
145views GIS» more  COSIT 2003»
15 years 6 months ago
Extracting Landmarks with Data Mining Methods
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
Birgit Elias
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 1 months ago
I-Interaction: An Intelligent In-Vehicle User Interaction Model
The automobile is always a point of interest where new technology has been deployed. Because of this interest, human-vehicle interaction has been an appealing area for much resear...
Li Liu, Edward Dillon