Sciweavers

7623 search results - page 1196 / 1525
» Constructive Volume Modeling
Sort
View
CUZA
2002
129views more  CUZA 2002»
15 years 4 months ago
Ad Hoc Metacomputing with Compeer
Metacomputing allows the exploitation of geographically seperate, heterogenous networks and resources. Most metacomputers are feature rich and carry a long, complicated installati...
Keith Power, John P. Morrison
ENTCS
2002
101views more  ENTCS 2002»
15 years 4 months ago
A categorical framework for typing CCS-style process communication
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
Ralf Schweimeier
ENTCS
2002
97views more  ENTCS 2002»
15 years 4 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
100
Voted
EOR
2002
73views more  EOR 2002»
15 years 4 months ago
Stochastic conditional and unconditional warfare
This article constructs a foundation for warfare at the individual level, where agents in two groups fire and absorb shots according to a non-stationary Poisson process. We determ...
Kjell Hausken, John F. Moxnes
LOBJET
2000
140views more  LOBJET 2000»
15 years 4 months ago
Early Measures for UML Class Diagrams
:Building software models before implementing them has become widely accepted in the software industry. Object models, graphically represented by class diagrams, lay the foundation...
Marcela Genero, Mario Piattini, Coral Calero
« Prev « First page 1196 / 1525 Last » Next »