Sciweavers

1256 search results - page 155 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
ICLP
1999
Springer
15 years 10 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
ICARCV
2008
IEEE
166views Robotics» more  ICARCV 2008»
16 years 24 days ago
Composite feature modeling and retrieval
—Feature-based intelligent design and manufacturing systems in the Internet environment are an evolution of traditional geometric and solid modeling systems. This paper presents ...
Jin Hou, Dengsheng Zhang, Zeng Chen, Xuerong Xu, T...
GI
2009
Springer
15 years 4 months ago
Coarse graining of an individual-based plant model
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
Johannes Hoefener, Lars Rudolf, Uta Berger, Thilo ...
ATAL
2008
Springer
15 years 8 months ago
Specifying and enforcing norms in artificial institutions
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
Nicoletta Fornara, Marco Colombetti
ISCAS
2006
IEEE
127views Hardware» more  ISCAS 2006»
16 years 11 days ago
On-die decoupling capacitance: frequency domain analysis of activity radius
—On-die capacitances interact with the inductance and resistance of the power distribution network to supply electrical charge. A distributed model is generally required to analy...
Michael Sotman, Avinoam Kolodny, Mikhail Popovich,...