3719 search results - page 610 / 744 » RACER System Description |
148
click to vote
ASPDAC
2005
ACM
16 years 2 days ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
192
click to vote
ICAIL
2005
ACM
16 years 1 days ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
219
click to vote
IHIS
2005
ACM
16 years 1 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
177
click to vote
MSR
2005
ACM
16 years 1 days ago
2005
ACM
Source code version repositories provide a treasure of information encompassing the changes introduced in the system throughout its evolution. These repositories are typically man...
133
click to vote
OZCHI
2005
ACM
16 years 1 days ago
2005
ACM
We report on a care setting where staff looking after ex-psychiatric patients were supported by mobile and stationery communications technology (e.g. mobile phones, a messaging sy...