9626 search results - page 1708 / 1926 » Invariant Based Programming |
171
click to vote
WSC
2004
15 years 7 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
161
click to vote
MASCOTS
2003
15 years 7 months ago
2003
The Web proxy cache placement problem is often formulated as a classical optimization problem: place N proxies within an internetwork so as to minimize the average user response t...
200
click to vote
PGLDB
2003
15 years 7 months ago
2003
This paper reports the efforts which have been made towards a methodology based on elearning objects for the development of PGL modules. The Partnership in Global Learning (PGL) P...
166
click to vote
SODA
2003
ACM
15 years 7 months ago
2003
ACM
—A new class of distances appropriate for measuring similarity relations between sequences, say one type of similarity per distance, is studied. We propose a new “normalized in...
160
click to vote
USENIX
2003
15 years 7 months ago
2003
We describe a new system, called guievict, that enables the graphical user interface (GUI) of any application to be transparently migrated to or replicated on another display with...