2339 search results - page 236 / 468 » Software processes for the development of electronic commerc... |
177
click to vote
AMAST
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
176
click to vote
CSEE
2009
Springer
16 years 1 months ago
2009
Springer
As software engineering educators, it is important for us to realize the increasing domainspecificity of software, and incorporate these changes in our design of teaching material...
164
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Many of the problems that occur in long-running systems involve the way that the system uses memory. We have developed a framework for extracting and building a model of the heap ...
190
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Short vector SIMD instructions on recent microprocessors, such as SSE on Pentium III and 4, speed up code but are a major challenge to software developers. We present a compiler t...
179
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...