Sciweavers

830 search results - page 7 / 166
» The Changing World of Outsourcing
Sort
View
SIGSOFT
2010
ACM
13 years 3 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
GIL
2004
13 years 10 months ago
Agrardokumentation via WWW - Aus der Praxis einer Internet-Schlagkartei
: Most farmers still prefer local running applications for their documentation. Nevertheless application service providing over the World Wide Web is applicably better than any oth...
Hagen F. Piotraschke
CSCW
2012
ACM
12 years 4 months ago
Integrating local and remote worlds through channel blending
Recent advances in ubiquitous technology have greatly changed the way people stay connected. We conducted an in-depth video shadowing study to observe how close-knit groups use al...
Ellen Isaacs, Margaret H. Szymanski, Yutaka Yamauc...
ISR
2010
13 years 7 months ago
Electronic Markets, Search Costs, and Firm Boundaries
We study how electronic markets that facilitate broader inter-firm transactions affect the vertical scope of emerging IT-enabled extended enterprises. We do so by modeling firms...
Ramesh Sankaranarayanan, Arun Sundararajan
ISIPTA
2005
IEEE
143views Mathematics» more  ISIPTA 2005»
14 years 2 months ago
A Granular Semantics for Fuzzy Measures and its Application to Climate Change Scenarios
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...
Jonathan Lawry, Jim Hall, Guangtao Fu