1737 search results - page 313 / 348 » On Interpolation in Existence Logics |
153
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
170
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
For extracting the characteristics a specific geographic entity, and notably a place, we propose to use dynamic Extreme Tagging Systems in combination with the classic approach of...
128
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
159
Voted
WWW
2007
ACM
16 years 6 months ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
163
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Design principles for XML schemas that eliminate redundancies and avoid update anomalies have been studied recently. Several normal forms, generalizing those for relational databa...