Sciweavers

4328 search results - page 200 / 866
» A New Kind of Science
Sort
View
LICS
2007
IEEE
16 years 29 days ago
The Cost of Punctuality
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
Patricia Bouyer, Nicolas Markey, Joël Ouaknin...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 22 days ago
A Preliminary Model for Generating Experience Knowledge Based Artifacts
Inspections provide an effective way of acquiring and reusing experience knowledge. Several details, in both the inspection processes and the inspection event itself, can be found...
Jouni Kokkoniemi
HICSS
2006
IEEE
62views Biometrics» more  HICSS 2006»
16 years 22 days ago
Structuration, Emancipation and Democracy
The study investigates the role of ICT in facilitating democracy. The role of ICT in maintaining status quo, or structure of the society can be explained using structuration theor...
Ook Lee
HICSS
2006
IEEE
133views Biometrics» more  HICSS 2006»
16 years 22 days ago
Being Literate with Large Document Collections: Observational Studies and Cost Structure Tradeoffs
How do people work with large document collections? We studied the effects of different kinds of analysis tools on the behavior of people doing rapid large-volume data assessment,...
Daniel M. Russell, Malcolm Slaney, Yan Qu, Mave Ho...
IMSCCS
2006
IEEE
16 years 21 days ago
An Execution Prototype of Mobile Agent-Based Peer-to-Peer Systems
Peer-to-peer networks are one of the trends in the field of internetworking. Mobile agent-based technology is a newly proposed technology that can be used in peer-to-peer network...
Wenyu Qu, Masaru Kitsuregawa, Keqiu Li, Hong Shen