Sciweavers

6740 search results - page 664 / 1348
» Using Classification as a Programming Language
Sort
View
JSS
2006
110views more  JSS 2006»
15 years 6 months ago
Beyond source code: The importance of other artifacts in software development (a case study)
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
Gregorio Robles, Jesús M. González-B...
PPDP
2010
Springer
15 years 5 months ago
A declarative approach to robust weighted Max-SAT
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
Miquel Bofill, Dídac Busquets, Mateu Villar...
SYNASC
2005
IEEE
92views Algorithms» more  SYNASC 2005»
16 years 5 days ago
P Colonies Working in the Maximally Parallel and in the Sequential Mode
We consider P colonies as introduced in [4] and investigate their computational power when working in the maximally parallel and in the sequential mode. It turns out that there is...
Rudolf Freund, Marion Oswald
174
Voted
PODS
2005
ACM
99views Database» more  PODS 2005»
16 years 6 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
SENSYS
2004
ACM
16 years 14 hour ago
A sensor network application construction kit (SNACK)
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...
Ben Greenstein, Eddie Kohler, Deborah Estrin