4615 search results - page 630 / 923 » Virtual Classes and Their Implementation |
150
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
159
Voted
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
170
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
151
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
195
click to vote
ARVLSI
2001
IEEE
15 years 10 months ago
2001
IEEE
We extend a class of analog CMOS circuits that can be used to perform many analog computational tasks. The circuits utilize MOSFET's in their subthreshold region as well as c...