Sciweavers

394 search results - page 35 / 79
» Logical operations and Kolmogorov complexity
Sort
View
BIOADIT
2004
Springer
14 years 12 days ago
Artificial Cellular Division by Self-Inspection
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...
Enrico Petraglio, Daniel Mange, André Stauf...
ACMICEC
2006
ACM
159views ECommerce» more  ACMICEC 2006»
14 years 2 months ago
Choreography of web services based on natural language storybooks
Business processes usually span beyond the boundaries of single operations and many a process spans even beyond the boundaries of organizations. Web Service orchestration or chore...
Kurt Englmeier, Javier Pereira, Josiane Mothe
ATAL
2005
Springer
14 years 2 months ago
On the dynamics of delegation, cooperation, and control: a logical account
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
Wiebe van der Hoek, Michael Wooldridge
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
14 years 3 months ago
A high-level debug environment for communication-centric debug
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...
Kees Goossens, Bart Vermeulen, Ashkan Beyranvand N...
EACL
2003
ACL Anthology
13 years 10 months ago
Describing Syntax with Star-Free Regular Expressions
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
Anssi Yli-Jyrä