4460 search results - page 772 / 892 » Formal methods for interactive systems |
141
Voted
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
129
Voted
JFP
2010
15 years 2 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
128
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
135
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
The structure of customer communication network provides us a natural way to understand customers’ relationships. Traditional customer relationship management (CRM) methods focu...
123
Voted
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
— We have developed the first real-time 3-D image sensor with VGA pixel resolution using mixed-signal techniques to achieve high-speed and high-accuracy range calculation based ...