Sciweavers

5961 search results - page 679 / 1193
» Design Science and Software Engineering
Sort
View
COMPSAC
2001
IEEE
15 years 10 months ago
Certificate Based Authorization Simulation System
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
Jie Dai, Jim Alves-Foss
COMPSAC
2001
IEEE
15 years 10 months ago
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message-Triggered Objects
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
Galo Gimenez, K. H. Kim
144
Voted
COMPSAC
2001
IEEE
15 years 10 months ago
Supporting Web Development in the OPEN Process: Additional Tasks
To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
Brendan Haire, Brian Henderson-Sellers, David Lowe
FSTTCS
2000
Springer
15 years 10 months ago
Coordinatized Kernels and Catalytic Reductions: An Improved FPT Algorithm for Max Leaf Spanning Tree and Other Problems
Abstract. We describe some new, simple and apparently general methods for designing FPT algorithms, and illustrate how these can be used to obtain a signi cantly improved FPT algor...
Michael R. Fellows, Catherine McCartin, Frances A....
FSTTCS
2000
Springer
15 years 10 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...