2231 search results - page 228 / 447 » Alternation as a programming paradigm |
213
click to vote
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
166
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
180
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
The use of modern programming paradigms and technologies, such as object orientation, inheritance, polymorphism and aspect orientation, facilitate a number of important software e...
197
click to vote
KBSE
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
219
click to vote
DCOSS
2005
Springer
16 years 23 days ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...