A Type System for the Java Bytecode Language and Verifier
Journal of Automated Reasoning
Towards a Context-Driven Development Framework for Ambient Intelligence
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Symmetric behavior-based trust: a new paradigm for internet computing
NSPW '04 Proceedings of the 2004 workshop on New security paradigms
Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Applying Web Service and Windows Clustering for High Volume Risk Analysis
HPCASIA '05 Proceedings of the Eighth International Conference on High-Performance Computing in Asia-Pacific Region
A service-oriented language for programming mobile agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Composition of engineering web services with distributed data-flows and computations
Advanced Engineering Informatics
A mobile agent service-oriented scripting language encoded on a process calculus
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Defining and checking deployment contracts for software components
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A prototype tool for software component services in embedded real-time systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Hi-index | 0.01 |