2231 search results - page 228 / 447 » Alternation as a programming paradigm |
188
click to vote
LCPC
2007
Springer
16 years 24 days 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, ...
145
Voted
IPPS
2006
IEEE
16 years 21 days 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...
161
click to vote
IWPC
2006
IEEE
16 years 20 days 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...
180
click to vote
KBSE
2005
IEEE
16 years 7 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...
198
click to vote
DCOSS
2005
Springer
16 years 6 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...