Sciweavers

6197 search results - page 1044 / 1240
» Sandbridge Software Tools
Sort
View
CEEMAS
2001
Springer
15 years 11 months ago
Rascal - A Resource Manager for Multi Agent Systems in Smart Spaces
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
Krzysztof Gajos
CSCWD
2001
Springer
15 years 11 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
ISW
2001
Springer
15 years 11 months ago
Suitability of a Classical Analysis Method for E-commerce Protocols
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
Sigrid Gürgens, Javier Lopez
ACSAC
2000
IEEE
15 years 11 months ago
Policy Mediation for Multi-Enterprise Environments
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
Pablo Galiasso, Oliver Bremer, John Hale, Sujeet S...
HICSS
2000
IEEE
106views Biometrics» more  HICSS 2000»
15 years 11 months ago
Two Corpuses of Spreadsheet Errors
The widespread presence of errors in spreadsheets is now well-established. Quite a few methodological and software approaches have been suggested as ways to reduce spreadsheet err...
Raymond R. Panko
« Prev « First page 1044 / 1240 Last » Next »