Sciweavers

5384 search results - page 424 / 1077
» Open Standards Requirements
Sort
View
AOSE
2001
Springer
15 years 11 months ago
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
Bernhard Bauer
FOCS
2000
IEEE
15 years 11 months ago
Computing the Determinant and Smith Form of an Integer Matrix
A probabilistic algorithm is presented to find the determinant of a nonsingular, integer matrix. For a matrix A ¡£¢ n¤ n the algorithm requires O¥ n3¦5 ¥ logn§ 4¦5§ bit...
Wayne Eberly, Mark Giesbrecht, Gilles Villard
PLDI
2000
ACM
15 years 11 months ago
Type-based race detection for Java
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
Cormac Flanagan, Stephen N. Freund
DL
2000
Springer
156views Digital Library» more  DL 2000»
15 years 11 months ago
Re-engineering structures from Web documents
To realise a wide range of applications (including digital libraries) on the Web, a more structured way of accessing the Web is required and such requirement can be facilitated by...
Chuang-Hue Moh, Ee-Peng Lim, Wee Keong Ng
EUROMICRO
1999
IEEE
15 years 11 months ago
JFS: A Secure Distributed File System for Network Computers
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...
Marcus O'Connell, Paddy Nixon