Sciweavers

2173 search results - page 169 / 435
» The Evolution of the DARWIN System
Sort
View
IWPSE
2003
IEEE
14 years 2 months ago
Automatic Categorization Algorithm for Evolvable Software Archive
The number of software systems is increasing at a rapid rate. For example, SourceForge currently has about sixty thousand software systems registered, twenty-two thousand of which...
Shinji Kawaguchi, Pankaj K. Garg, Makoto Matsushit...
VW
1998
Springer
153views Virtual Reality» more  VW 1998»
14 years 1 months ago
Grounding Virtual Worlds in Reality
We suggest in this article a new paradigm for the representation of data, which is best suited for the real-time visualization and sonorisation of complex systems, real or simulat...
Guillaume Hutzler, Bernard Gortais, Alexis Drogoul
SCP
2010
96views more  SCP 2010»
13 years 7 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
LFCS
2007
Springer
14 years 3 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
CAEPIA
2003
Springer
14 years 2 months ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...