Search Sciweavers | Sciweavers

16616 search results - page 264 / 3324

» Extending Extended Vacuity

223

click to vote

SOSYM
2002

188views more SOSYM 2002»

Extending the Unified Modeling Language for ontology development

15 years 6 months ago

Download vistology.com

Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...

Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Ko...

claim paper

Read More »

198

click to vote

SP
2002
IEEE

161views Security Privacy» more SP 2002»

Improving Computer Security Using Extended Static Checking

15 years 6 months ago

Download www.vantuyl.com

We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...

Brian Chess

claim paper

Read More »

112

click to vote

VC
1998

34views more VC 1998»

Transformation of functionally defined shapes by extended space mappings

15 years 6 months ago