8179 search results - page 433 / 1636 » The PRACTIONIST Development Tool |
211
click to vote
DEDS
2000
15 years 6 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
181
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...
162
click to vote
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
16 years 7 months ago
Numerous studies have been conducted on design and architecture of knowledge repositories. This paper addresses the need for looking at practices where knowledge repositories are ...
177
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...
180
click to vote
C5
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we present an authoring tool and an accompanying workflow to create interactive scenarios in a distributed 3D environment by multiple users. With Pitsupai we design...