Sciweavers

1141 search results - page 177 / 229
» From Rigorous Requirements Engineering to Formal System Desi...
Sort
View
CSCW
2008
ACM
15 years 8 months ago
Representing community: knowing users in the face of changing constituencies
This paper traces the use of the concept 'community' by drawing attention to the ways in which it serves as an organizing principle within systems development. The data ...
David Ribes, Thomas A. Finholt
TLDI
2010
ACM
190views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Distributed programming with distributed authorization
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...
Kumar Avijit, Anupam Datta, Robert Harper
EMNETS
2007
15 years 10 months ago
PermaSense: investigating permafrost with a WSN in the Swiss Alps
Currently, there is a lack of stand-alone geo-monitoring systems for harsh environments that are easy to configure, deploy and manage, while at the same time adhering to science g...
Igor Talzi, Andreas Hasler, Stephan Gruber, Christ...
WWW
2004
ACM
16 years 7 months ago
Graph-based text database for knowledge discovery
While we expect to discover knowledge in the texts available on the Web, such discovery usually requires many complex analysis steps, most of which require different text handling...
Junji Tomita, Hidekazu Nakawatase, Megumi Ishii
CONEXT
2010
ACM
15 years 3 months ago
Declarative configuration management for complex and dynamic networks
Abstract-- Network management and operations are complicated, tedious, and error-prone, requiring significant human involvement and domain knowledge. As the complexity involved ine...
Xu Chen, Yun Mao, Zhuoqing Morley Mao, Jacobus E. ...