Sciweavers

742 search results - page 51 / 149
» Constructing Hierarchical Rule Systems
Sort
View
DKE
2008
103views more  DKE 2008»
13 years 8 months ago
The XML Tree Model - toward an XML conceptual schema reversed from XML Schema Definition
XML Schema Definition (XSD) is the logical schemas of an XML model, but there is no standard format for the conceptual schema of an XML model. Therefore, we propose an XML Tree Mo...
Joseph Fong, San Kuen Cheung, Herbert Shiu
ATAL
2005
Springer
14 years 1 months ago
A scalable approach to multi-agent resource acquisition and control
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
Nadeem Jamali, Xinghui Zhao
TLCA
2007
Springer
14 years 2 months ago
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
Denis Cousineau 0002, Gilles Dowek
EDOC
2004
IEEE
13 years 11 months ago
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 2 months ago
MDLn: A Motion Description Language for networked systems
— In this paper we extend the definition of a Motion Description Language (MDL) to networked systems. This new construction (MDLn) supports inter-agent specification rules as w...
Patrick Martin, Jean-Pierre de la Croix, Magnus Eg...