Sciweavers

2522 search results - page 65 / 505
» From Self-Organized Systems to Collective Problem Solving
Sort
View
BWCCA
2010
13 years 2 months ago
Fast Deployment of Computer Forensics with USBs
As popularity of the Internet continues to grow, it changes the way of computer crime. Number of computer crime increases dramatically in recent years and investigators have been f...
Chung-Huang Yang, Pei-Hua Yen
ASSETS
2008
ACM
13 years 9 months ago
Understanding pointing problems in real world computing environments
Understanding how pointing performance varies in real world computer use and over time can provide valuable insight about how systems should accommodate changes in pointing behavi...
Amy Hurst, Jennifer Mankoff, Scott E. Hudson
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
13 years 11 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
CDC
2010
IEEE
140views Control Systems» more  CDC 2010»
13 years 2 months ago
On the observability of linear systems from random, compressive measurements
Abstract-- Recovering or estimating the initial state of a highdimensional system can require a potentially large number of measurements. In this paper, we explain how this burden ...
Michael B. Wakin, Borhan Molazem Sanandaji, Tyrone...
AKA
2004
13 years 9 months ago
Multimodel Application Specification, Integration, and Evolution - Experiences from the Reinsurance Industry
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
Hans Wegener