1077 search results - page 90 / 216 » Introducing Software Engineering by means of Extreme Program... |
178
click to vote
ANSOFT
2002
15 years 4 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
110
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
147
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
153
Voted
AVI
2008
15 years 6 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
127
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...