Sciweavers

2152 search results - page 79 / 431
» An Abstract Account of Composition
Sort
View
BIOTECHNO
2008
IEEE
16 years 26 days ago
Mathematical Description of Biological Structures and Mechanisms
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
H. Joel Jeffrey
HYBRID
2007
Springer
16 years 16 days ago
The Concept of Deadlock and Livelock in Hybrid Control Systems
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
Alessandro Abate, Alessandro D'Innocenzo, Giordano...
CSFW
1992
IEEE
15 years 10 months ago
Causal Security
This paper gives a new definition of Security, which takes causal information into account. The new definition can be used to determine the security of nondeterministic concurrent...
Miranda Mowbray
CORR
1998
Springer
145views Education» more  CORR 1998»
15 years 6 months ago
Anchoring a Lexicalized Tree-Adjoining Grammar for Discourse
We here explore a "fully" lexicalized Tree-Adjoining Grammar for discourse that takes the basic elements of a (monologic) discourse to be not simply clauses, but larger ...
Bonnie L. Webber, Aravind K. Joshi
PDP
2010
IEEE
16 years 1 months ago
Trusted Interaction Patterns in Large-scale Enterprise Service Networks
Abstract—The evolution towards cross-organizational collaboration and interaction patterns has led to the emergence of scalable, Web services-based composition infrastructures. T...
Florian Skopik, Daniel Schall, Schahram Dustdar