5277 search results - page 817 / 1056 » Virtual Audio Systems |
163
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
164
click to vote
WSC
2007
15 years 9 months ago
2007
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
138
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of control and data, but facilities for allocating ta...
220
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
167
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
In recent times, information presentation has evolved towards sophisticated approaches that involve multi-modal aspects and character-based mediation. This paper presents a novel ...