3688 search results - page 222 / 738 » Static analysis of aspects |
138
click to vote
SOFTVIS
2005
ACM
16 years 5 days ago
2005
ACM
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
164
click to vote
GCC
2005
Springer
16 years 4 days ago
2005
Springer
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
152
click to vote
COMPGEOM
2004
ACM
16 years 1 days ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
171
click to vote
ECOOP
2004
Springer
16 years 13 hour ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
186
click to vote
KIVS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a discrete-event simulator for the General Packet Radio Service (GPRS) on the IP level. GPRS is a standard on packet data in GSM systems that will become commer...