15951 search results - page 11 / 3191 » Lawful software engineering |
AGI
2008
13 years 10 months ago
2008
The likely advent of AGI and the long-established trend of improving computational hardware promise a dual revolution in coming decades: machines which are both more intelligent an...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
TAPSOFT
1991
Springer
14 years 17 days ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...