Sciweavers

1937 search results - page 195 / 388
» Starting B Specifications from Use Cases
Sort
View
HPDC
1998
IEEE
15 years 11 months ago
Authorization for Metacomputing Applications
One of the most difficult problems to be solved by metacomputing systems is to ensure strong authentication and authorization. The problem is complicated since the hosts involved ...
G. Gheorghiu, Tatyana Ryutov, B. Clifford Neuman
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 6 months ago
Locating phase transitions in computationally hard problems
We discuss how phase-transitions may be detected in computationally hard problems in the context of anytime algorithms. Treating the computational time, value and utility functions...
B. Ashok, T. K. Patra
WSC
2000
15 years 8 months ago
Simulation for recurring decisions
In recent years simulation proved to be a useful technology to support the making of recurring decisions. This paper describes the integrated simulator concept and requirements to...
K. Guus C. de Ruiter, Joost M. Sluijs, Wilbert B. ...
SIGMOD
2008
ACM
120views Database» more  SIGMOD 2008»
16 years 6 months ago
Muse: a system for understanding and designing mappings
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
Bogdan Alexe, Laura Chiticariu, Renée J. Mi...
CODES
2000
IEEE
15 years 11 months ago
A method to derive application-specific embedded processing cores
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
Olivier Hébert, Ivan C. Kraljic, Yvon Savar...