4151 search results - page 717 / 831 » Language Driven System Design |
ACMSE
2007
ACM
15 years 5 months ago
2007
ACM
Meetings are a vital part of participation in social activities. For a deaf person who does not understand spoken language, following a discourse at meetings can become confusing ...
111
click to vote
WSC
2007
15 years 3 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
109
click to vote
COORDINATION
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
115
click to vote
DAGSTUHL
2009
15 years 2 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
114
click to vote
PODS
2010
ACM
15 years 1 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...