2596 search results - page 130 / 520 » Gradual Typing for Objects |
121
click to vote
ISPW
1991
IEEE
15 years 10 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
151
click to vote
PG
2007
IEEE
16 years 19 days ago
2007
IEEE
We overview a new method for computing the arrangement of semi-algebraic curves. A subdivision approach is used to compute the topology of the algebraic objects and to segment the...
181
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
158
click to vote
EJC
2008
15 years 6 months ago
2008
We consider certain modules of the symmetric groups whose basis elements are called tabloids. As modules of the symmetric groups, some of these are isomorphic to Springer modules. ...
148
click to vote
SIAMJO
2010
15 years 1 months ago
2010
Abstract. We investigate integer programs containing monomial constraints of the type Q iI xi i = b. Due to the number-theoretic nature of these constraints, standard methods based...