12084 search results - page 357 / 2417 » Effect Systems with Subtyping |
212
click to vote
ESTIMEDIA
2009
Springer
15 years 5 months ago
2009
Springer
As single-processor systems are ceasing to scale effectively, multi-processor systems are becoming more and more popular. While there are many challenges of designing multi-process...
260
click to vote
ICDT
2009
ACM
15 years 5 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
201
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
A mathematical model for cancer treatment that includes immunological activity is considered as an optimal control problem. In the uncontrolled system there exist both a region of ...
235
click to vote
SWARM
2010
SPRINGER
15 years 2 months ago
2010
SPRINGER
Abstract This position paper explores the nature and role of two bio-inspired paradigms, namely Artificial Immune Systems (AIS) and Swarm Intelligence (SI). We argue that there are...
195
click to vote
CHI
2002
ACM
16 years 8 months ago
2002
ACM
HANDS is a new programming system for children that was designed for usability. This paper examines the effectiveness of three features of HANDS: queries, aggregate operations, an...