3362 search results - page 363 / 673 » A definition of subjective possibility |
167
Voted
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
To realize the benefits of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers first need...
186
click to vote
KBSE
2005
IEEE
16 years 10 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...
204
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
156
click to vote
ACMACE
2005
ACM
16 years 10 days ago
2005
ACM
This paper proposes “intuitive cinema” – a new form of interactive storytelling, which emphasizes user motive and viewpoints, and implements its cinematic expressions based ...
138
click to vote
GROUP
2005
ACM
16 years 10 days ago
2005
ACM
Interesting characteristics of large-scale events are their spatial distribution, their extended duration over days, and the fact that they are set apart from daily life. The incr...