A Formal Approach for Agent Based Large Concurrent Intelligent Systems
A Formal Approach for the Development of Service-Oriented Applications
A Formal Approach to Modeling the Memory of a Living Organism
A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications
A formal calculus on the Riordan near algebra
A Formal Comparison of Approaches to Datatype-Generic Programming
A Formal Comparison of Visual Web Wrapper Generators
A formal definition and a new security mechanism of physical unclonable functions
A Formal Foundation for ODRL
A Formal Foundation for XrML
A Formal Framework for Linguistic Annotation
A Formal Framework for Linguistic Annotation (revised version)
A Formal Framework for Mobile Robot Patrolling in Arbitrary Environments with Adversaries
A Formal Framework of Virtual Organisations as Agent Societies
A Formal Look at Dependency Grammars and Phrase-Structure Grammars, with Special Consideration of Word-Order Phenomena
A Formal Measure of Machine Intelligence
A formal methodology for integral security design and verification of network protocols
A Formal Model for Dynamically Adaptable Services
A Formal Model for Programming Wireless Sensor Networks
A Formal Model of Anonymous Systems