1631 search results - page 182 / 327 » Extreme Programming - Back to Basics |
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
As compared to a large spectrum of performance optimizations, relatively little effort has been dedicated to optimize other aspects of embedded applications such as memory space r...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
CCS
2003
ACM
14 years 3 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
ICS
2003
Tsinghua U.
14 years 3 months ago
2003
Tsinghua U.
With the increasing popularity of small to large-scale symmetric multiprocessor (SMP) systems, there has been a dire need to have sophisticated, and flexible development and runt...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...