Sciweavers

3719 search results - page 507 / 744
» Pellet System Description
Sort
View
CHI
2008
ACM
16 years 7 months ago
Don't look now, but we've created a bureaucracy: the nature and roles of policies and rules in wikipedia
Wikis are sites that support the development of emergent, collective infrastructures that are highly flexible and open, suggesting that the systems that use them will be egalitari...
Brian S. Butler, Elisabeth Joyce, Jacqueline Pike
CADE
2005
Springer
16 years 7 months ago
Temporal Logics over Transitive States
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
Boris Konev, Frank Wolter, Michael Zakharyaschev
243
Voted
SIGMOD
2008
ACM
150views Database» more  SIGMOD 2008»
16 years 6 months ago
LearnPADS: automatic tool generation from ad hoc data
In this demonstration, we will present LEARNPADS, a fully automatic system for generating ad hoc data processing tools. When presented with a collection of ad hoc data, the system...
Kathleen Fisher, David Walker, Kenny Qili Zhu
ICSE
2007
IEEE-ACM
16 years 6 months ago
Behaviour Model Synthesis from Properties and Scenarios
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
EWSN
2004
Springer
16 years 6 months ago
Prototyping Wireless Sensor Network Applications with BTnodes
We present a hardware and software platform for rapid prototyping of augmented sensor network systems, which may be temporarily connected to a backend infrastructure for data stora...
Frank Siegemund, Friedemann Mattern, Jan Beutel, K...