5810 search results - page 248 / 1162 » An Approach to Programming Based on Concepts |
175
click to vote
KBSE
2005
IEEE
16 years 2 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...
236
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution ...
144
click to vote
VRST
2005
ACM
16 years 1 days ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
152
click to vote
KI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
164
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...