Sciweavers

3602 search results - page 95 / 721
» Isn't It About Time
Sort
View
HICSS
1999
IEEE
144views Biometrics» more  HICSS 1999»
14 years 1 months ago
Changes in Work Styles of Office Workers in Satellite Offices
In order to reduce the long commuting times for office workers, Fuji Xerox began experimenting with satellite offices. In this paper I will report on changes in the work styles of...
Chiaki Imaizumi
PPL
1998
117views more  PPL 1998»
13 years 8 months ago
Messy Broadcasting
In this paper, we describe an ordering of the vertices of a 2-dimensional torus and study the upper bound on the orderly broadcast time. Along with messy broadcasting, orderly bro...
Hovhannes A. Harutyunyan, Arthur L. Liestman
FFA
2010
70views more  FFA 2010»
13 years 6 months ago
Fast arithmetic in unramified p-adic fields
Let p be prime and Zpn a degree n unramified extension of the ring of p-adic integers Zp. In this paper we give an overview of some very fast deterministic algorithms for common o...
Hendrik Hubrechts
AI
2001
Springer
14 years 1 months ago
How AI Can Help SE; or: Randomized Search Not Considered Harmful
In fast-paced software projects, engineers don’t have the time or the resources to build heavyweight complete descriptions of their software. The best they can do is lightweight ...
Tim Menzies, Harshinder Singh
FM
2001
Springer
142views Formal Methods» more  FM 2001»
14 years 1 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...