860 search results - page 160 / 172 » A Process Algebra Based Verification of a Production System |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Contracting out government services, especially IT services, has accelerated in recent years in the United States. Based on literature in privatization and contracting out, the au...
FMCO
2005
Springer
14 years 1 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...