A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
Airbotics: a look into the future
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
The Architecture of the Dalí Main-Memory Storage Manager
Multimedia Tools and Applications
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
August-II: a tool for step-by-step data model reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
FOCUS: a system for searching for multi-colored objects in a diverse image database
Computer Vision and Image Understanding - Special issue on color for image indexing and retrieval
Proceedings of the 15th international conference on World Wide Web
On the global coherence of integrity constraints in UML class diagrams
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Deriving protocol specifications from service specifications written as predicate/transition-nets
Computer Networks: The International Journal of Computer and Telecommunications Networking
ACM Transactions on the Web (TWEB)
Gecko: tracking a very large billing system
ATEC '00 Proceedings of the annual conference on USENIX Annual Technical Conference
An improvement of an approach for representation of tree structures in relational tables
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Index transforms of a symmetrical matrix: Application to the geosciences
Computers & Geosciences
Using annotations in the naked objects framework to explore data requirements
Proceedings of the 2008 ACM symposium on Applied computing
Mixed deterministic and probabilistic networks
Annals of Mathematics and Artificial Intelligence
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Advances in FCO-IM (2): a shorter algorithm for determining intra fact type uniqueness constraints
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
| Hi-index | 0.00 |