Sciweavers

1036 search results - page 85 / 208
» Natural Narrowing for General Term Rewriting Systems
Sort
View
ECIS
2004
13 years 11 months ago
Selling Packaged Software: An Ethical Analysis
Within the IS literature there is little discussion on selling software products in general and especially from the ethical point of view. Similarly, within computer ethics, altho...
Alison Adam, Ben Light
WWW
2008
ACM
13 years 10 months ago
KC3 browser: semantic mash-up and link-free browsing
This paper proposes a general framework of for a system with a semantic browsing and visualization interface called Knowledge Communication, Collaboration and Creation Browser (KC...
Michiaki Iwazume, Ken Kaneiwa, Koji Zettsu, Takafu...
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
13 years 10 months ago
A mathematical framework for the control of piecewise-affine models of gene networks
This article introduces results on the control of gene networks, in the context of piecewise-affine models. We propose an extension of this well-documented class of models, where ...
Etienne Farcot, Jean-Luc Gouzé
ISESE
2006
IEEE
14 years 4 months ago
The evolution of FreeBSD and Linux
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
Clemente Izurieta, James M. Bieman
CIE
2008
Springer
14 years 4 days ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes