1438 search results - page 194 / 288 » An Expressive Extension of TLC |
159
click to vote
TASE
2007
IEEE
16 years 20 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
159
click to vote
VL
2007
IEEE
16 years 20 days ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...
203
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
Regular path queries (RPQ’s) are given by means of regular expressions and ask for matching patterns on labeled graphs. RPQ’s have received great attention in the context of s...
138
click to vote
CONCUR
2007
Springer
16 years 17 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
137
click to vote
DNA
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...