1210 search results - page 182 / 242 » Formal Techniques for Java Programs |
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
ng Implementations from Abstraction Functions Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial In...
ICDCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...
NDSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
EDOC
2002
IEEE
14 years 19 days ago
2002
IEEE
The Object Management Group (OMG) is pursuing its new Model-Driven Architecture (MDA) strategy. The Meta-Object Facility (MOF) is an important technology to support the MDA, both ...
SIGGRAPH
1999
ACM
13 years 12 months ago
1999
ACM
We present a sketching interface for quickly and easily designing freeform models such as stuffed animals and other rotund objects. The user draws several 2D freeform strokes inte...