2585 search results - page 485 / 517 » Automating Coherent Logic |
109
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
89
Voted
FPGA
2006
ACM
15 years 4 months ago
2006
ACM
Embedded memory blocks are important resources in contemporary FPGA devices. When targeting FPGAs, application designers often specify high-level memory functions which exhibit a ...
97
Voted
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
125
click to vote
ACMSE
1995
ACM
15 years 4 months ago
1995
ACM
{ Traditional computer applications have been designed to be run by one user at a time who does some work in a single medium, such as ASCII text, and very little regard has been gi...
119
click to vote
AOSD
2008
ACM
15 years 2 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...