Sciweavers

394 search results - page 35 / 79
» Logical operations and Kolmogorov complexity
Sort
View
BIOADIT
2004
Springer
15 years 9 months 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»
16 years 2 days 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
15 years 11 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»
16 years 25 days 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
15 years 7 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ä