1788 search results - page 125 / 358 » Model Theory for Process Algebra |
126
click to vote
EC
1998
15 years 14 days ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper explores the impact of Enterprise Resource Planning (ERP) systems using the individual manufacturing facility as the level of analysis. A model of ERP costs and benefit...
106
Voted
JLP
2007
15 years 21 days ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
121
click to vote
VLDB
1994
ACM
15 years 4 months ago
1994
ACM
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...
116
Voted
IANDC
2010
14 years 10 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...