Sciweavers

7811 search results - page 304 / 1563
» computer 2004
Sort
View
FORTE
2004
15 years 8 months ago
A Logical Account of NGSCB
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
Martín Abadi, Ted Wobber
COMPUTING
2004
172views more  COMPUTING 2004»
15 years 6 months ago
The Convex Hull of Freeform Surfaces
We present an algorithm for computing the convex hull of freeform rational surfaces. The convex hull problem is reformulated as one of finding the zero-sets of polynomial equation...
Joon-Kyung Seong, Gershon Elber, John K. Johnstone...
DAPSYS
2004
Springer
15 years 12 months ago
glogin - Interactive Connectivity for the Grid
Todays computational grids are used mostly for batch processing and throughput computing, where jobs are submitted to a queue, processed, and finally delivered for post-mortem an...
Herbert Rosmanith, Jens Volkert
MEMBRANE
2004
Springer
15 years 12 months ago
Communicative P Systems with Minimal Cooperation
We proved that two classes of Communicative P systems with 3 membranes and with minimal cooperation, namely P systems with symport/antiport rules of size 1 and and P systems with s...
Artiom Alhazov, Maurice Margenstern, Vladimir Rogo...
MDM
2004
Springer
103views Communications» more  MDM 2004»
15 years 12 months ago
Mobile Agents: What about Them? Did They Deliver what They Promised? Are They Here to Stay?
Mobile Agents have brought around a new way to perform computations and develop distributed application and it is now struggling for a visible position in the area of distributed ...
George Samaras